Changes

no edit summary
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==
12,080

edits