No title

Cori, René.

Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier. - Oxford : Oxford University Press, 2000- - v ; 24 cm.

Includes bibliographical references and index.

Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.

0198500491 (pt. 1, Hbk) : No price 0198500483 (pt. 1, Pbk)

GBA065273 bnb


Logic, Symbolic and mathematical.

511.3