| * 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). |