Proof theory
Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975
Abstract:
First order predicate calculus - Peano arithmetic - Second order systems and simple type theory - Infinitary logic - Consistency proofs - Some applications of consistency proofs.
| Field | Value |
|---|---|
| Description | Proof theory/ Gaisi Takeuti. - Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975. - VII, 372 p. ; 23 cm. - (Studies in logic and the foundations of mathematics ; 81) |
| Series |
|
| Numbers |
|
| Authors |
|
| Keys | |
| Publishing location | |
| Editor |
|
| Country | |
| Language | |
| ID file | 44062 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095335 | Biblioteca | LC / 975 / 5 | Available | In library | None |