Cori, René

Mathematical logic : a course with exercises - Oxford Oxford University Press 2000- - v ; 24 cm. - .

(TIT) Logique mathématique. English (CON) Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.

Includes bibliographical references and index.

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


Systems and Structures of Mathematics. Axiomatics
Mathematical Logic