Marhematical logic : a course with exercises /

Main Author: Cori, Rene
Other Authors: Lascar, Daniel, Pelletier, Donald
Format: Book
Language:English
French
Published: Oxford: Oxford University Press, 2000-
Subjects:
Table of Contents:
  • part 1. Propositional calculus, boolean algebras, predicate calculus