Changes

Line 5,438: Line 5,438:     
* 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.
 +
 +
* 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).
 
* [[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).
12,080

edits