MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to search
134 bytes added
, 16:00, 22 April 2009
Line 5,291: |
Line 5,291: |
| | | |
| * [[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. |
| + | |
| + | * Lambek, J., and Scott, P.J. (1986), ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK. |
| | | |
| * [[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). | | * [[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). |