TY  - BOOK
AU  - Cori, René
AU  - Lascar, Daniel
AU  - Pelletier, Donald H
TI  - Mathematical logic : a course with exercises. Pt. 1 : Propositional calculus, Boolean algebras, predicate calculus
SN  - 9780198500483
U1  - 511.3 COR 
PY  - 2001///
CY  - Oxford
PB  - Oxford University Press
KW  - Logic, Symbolic and mathematical
N1  - Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus. Translated from the French. Includes bibliographical references and index
ER  -