Line 5,436: |
Line 5,436: |
| | | |
| * [[George Boole|Boole, George]] (1854), ''An Investigation of the Laws of Thought, On Which are Founded the Mathematical Theories of Logic and Probabilities'', Macmillan, 1854. Reprinted, Dover Publications, New York, NY, 1958. | | * [[George Boole|Boole, George]] (1854), ''An Investigation of the Laws of Thought, On Which are Founded the Mathematical Theories of Logic and Probabilities'', Macmillan, 1854. Reprinted, Dover Publications, New York, NY, 1958. |
| + | |
| + | * [[Charles Sanders Peirce|Peirce, C.S.]] (1870), [[Logic of Relatives (1870)|"Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic"]], ''Memoirs of the American Academy of Arts and Sciences'' 9, 317–378, 26 January 1870. Reprinted, ''Collected Papers'' (CP 3.45–149), ''Chronological Edition'' (CE 2, 359–429). |
| + | |
| + | * 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'', Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianoplis, IN, 1981–. Cited as (CE volume, page). |
| + | |
| + | ==Readings== |
| | | |
| * Lambek, J., and Scott, P.J. (1986), ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK. | | * Lambek, J., and Scott, P.J. (1986), ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK. |
Line 5,441: |
Line 5,449: |
| * Mili, A., Desharnais, J., Mili, F., with Frappier, M. (1994), ''Computer Program Construction'', Oxford University Press, New York, NY. | | * Mili, A., Desharnais, J., Mili, F., with Frappier, M. (1994), ''Computer Program Construction'', Oxford University Press, New York, NY. |
| | | |
− | * [[Charles Sanders Peirce|Peirce, C.S.]] (1870), [[Logic of Relatives (1870)|"Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic"]], ''Memoirs of the American Academy of Arts and Sciences'' 9, 317–378, 26 January 1870. Reprinted, ''Collected Papers'' (CP 3.45–149), ''Chronological Edition'' (CE 2, 359–429).
| + | ==Resources== |
− | | |
− | ==Bibliography== | |
| | | |
| * [[Charles Sanders Peirce (Bibliography)|Peirce, C.S., Bibliography]]. | | * [[Charles Sanders Peirce (Bibliography)|Peirce, C.S., Bibliography]]. |
− |
| |
− | * 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'', Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianoplis, IN, 1981–. Cited as (CE volume, page).
| |
| | | |
| ==See also== | | ==See also== |