Line 280: |
Line 280: |
| * [[Mathematical Society of Japan]], ''Encyclopedic Dictionary of Mathematics'', 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. | | * [[Mathematical Society of Japan]], ''Encyclopedic Dictionary of Mathematics'', 2nd edition, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. |
| | | |
− | * Mili, A., Desharnais, J., Mili, F., with Frappier, M., ''Computer Program Construction'', Oxford University Press, New York, NY, 1994. ? Introduction to Tarskian relation theory and its applications within the relational programming paradigm. | + | * Mili, A., Desharnais, J., Mili, F., with Frappier, M., ''Computer Program Construction'', Oxford University Press, New York, NY, 1994. (Introduction to Tarskian relation theory and its applications within the relational programming paradigm.) |
| | | |
| * [[John C. Mitchell|Mitchell, J.C.]], ''Foundations for Programming Languages'', MIT Press, Cambridge, MA, 1996. | | * [[John C. Mitchell|Mitchell, J.C.]], ''Foundations for Programming Languages'', MIT Press, Cambridge, MA, 1996. |
| | | |
− | * Peirce, C.S., ''Collected Papers of Charles Sanders Peirce'', vols. 1-6, [[Charles Hartshorne]] and [[Paul Weiss]] (eds.), vols. 7-8, [[Arthur W. Burks]] (ed.), Harvard University Press, Cambridge, MA, 1931-1935, 1958. Cited as CP volume.paragraph. | + | * Peirce, C.S., ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, [[Charles Hartshorne]] and [[Paul Weiss]] (eds.), vols. 7–8, [[Arthur W. Burks]] (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958. Cited as CP volume.paragraph. |
| | | |
− | * Peirce, C.S., ''Writings of Charles S. Peirce : A Chronological Edition, Volume 2, 1867-1871'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1984. Cited as CE 2. | + | * Peirce, C.S., ''Writings of Charles S. Peirce : A Chronological Edition, Volume 2, 1867–1871'', Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1984. Cited as CE 2. |
| | | |
| * [[Bruno Poizat|Poizat, B.]], ''A Course in Model Theory: An Introduction to Contemporary Mathematical Logic'', Moses Klein (trans.), Springer-Verlag, New York, NY, 2000. | | * [[Bruno Poizat|Poizat, B.]], ''A Course in Model Theory: An Introduction to Contemporary Mathematical Logic'', Moses Klein (trans.), Springer-Verlag, New York, NY, 2000. |