Mathematical logic
Subtitle: a course with exercises
By: René Cori and Daniel Lascar ; translated by Donald H. Pelletier.
Contributors: Lascar, D. 1942-
Publisher: Oxford University Press
Published: 2000
Place of publication: Oxford; New York
Language: eng
Number of pages: 360
Subjects: Logic, Symbolic and mathematical
Work titles: Logique mathématique.
Notes: Includes bibliographical references and index.
Table of contents: title: Propositional calculus, Boolean algebras, predicate calculus; title: Recursion theory, Gödel's theorems, set theory. model theory.