Proof theory
Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975
Abstract/Sommario:
First order predicate calculus - Peano arithmetic - Second order systems and simple type theory - Infinitary logic - Consistency proofs - Some applications of consistency proofs.
| Campo | Valore |
|---|---|
| Descrizione | 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) |
| Collezione |
|
| Numeri |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione | |
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44062 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095335 | Biblioteca | LC / 975 / 5 | Ammesso al prestito | A scaffale | Nessuna |