Mathematical logic : a course with exercises / Renâe Cori and Daniel Lascar ; translated by Donald H. Pelletier.
Material type:
TextPublication details: Oxford : Oxford University Press, 2000-2001.Description: 2 v. ; 24 cmISBN: - 0198500483 (pbk. : pt. 1 : acidfree paper)
- 0198500505 pbk. : pt. 2 : acid -free paper)
- Logique mathâematique. English
- 511.3
Contents:
Propositional calculus, Boolean algebras, predicate calculus -- Recu rsion theory, Gèodel's theorems, set theory. model theory.
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books - Open Access
|
Main Library - IDA | 511 .3 COR (Browse shelf(Opens below)) | Available | 001039385 | |
|
Books - Open Access
|
Main Library - IDA | 511 .3 COR (Browse shelf(Opens below)) | Available | 001039387 | |
|
Books - Open Access
|
Main Library - IDA | 511 .3 COR (Browse shelf(Opens below)) | Available | 001039386 | |
|
Books - Open Access
|
Main Library - IDA | 511 .3 COR (Browse shelf(Opens below)) | Available | 001039388 |
Includes bibliographical references and index.
Propositional calculus, Boolean algebras, predicate calculus -- Recu rsion theory, Gèodel's theorems, set theory. model theory.
There are no comments on this title.
Log in to your account to post a comment.