TY  - BOOK
AU  - Cori,René
AU  - Lascar,D.
AU  - Pelletier,Donald H.
TI  - Mathematical logic: a course with exercises 
SN  - 0198500491 (pt. 1, Hbk) :
U1  - 511.3 21
PY  - 2000///-
CY  - Oxford
PB  - Oxford University Press
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index; Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus
ER  -