Mathematical logic: a course with exercises/
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English French |
| Published: |
Oxford New York:
Oxford University Press,
2000-2001
|
| Subjects: |
Table of Contents:
- V. 1. Propositional calculus, Boolean algebras, predicate calculus.
- v. 2. Recursion theory, Godel's theorems, set theory. model theory.