Mathematical logic : a course with exercises /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Oxford ; New York :
Oxford University Press,
2000-
|
| Subjects: |
| Item Description: | Cover title, pt. 1: Propositional calculus, Boolean algebras, predicate calculus, completeness theorems. |
|---|---|
| Physical Description: | volumes <1- > ; 24 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 0198500491 (pt. 1 : acid-free paper) 0198500483 (pbk. : pt. 1 : acid-free paper) |