Lynch, Edward P. Applied symbolic logic. (English) Zbl 0528.94018 A Wiley-Interscience Publication. New York etc.: John Wiley & Sons. XI, 260 p. (1980). MSC: 94C10 94-01 03-01 03Exx 00A06 03B05 03G05 PDFBibTeX XML
Klop, J. W. Combinatory reduction systems. (English) Zbl 0466.03006 Mathematical Centre Tracts, 127. Amsterdam: Mathematisch Centrum. XIII, 317 p. Dfl. 39.90 (1980). MSC: 03B40 03-01 03-02 PDFBibTeX XML
Couturat, Louis L’algèbre de la logique. \(2^{\text{ème}}\) ed. (French) Zbl 0426.03064 Paris: Librairie Scientifique et Technique Albert Blanchard. 100 p. F 25.00 (1980). MSC: 03G05 03B05 03-01 03-03 PDFBibTeX XML