Mathematical logic:
Cori, Rene.
Mathematical logic: a course with exercise part l: propositional calculus, boolean algebras, predicate calculus Rene Cori and Daniel Lascar. - Oxford : Oxford University, 2008. - xix, 338 p.
9780198500483 = Mathematics Collection
Logic --Symbolic and mathematical.
511.3 C813M
Mathematical logic: a course with exercise part l: propositional calculus, boolean algebras, predicate calculus Rene Cori and Daniel Lascar. - Oxford : Oxford University, 2008. - xix, 338 p.
9780198500483 = Mathematics Collection
Logic --Symbolic and mathematical.
511.3 C813M