Mathematical logic and formalized theories : a survey of basic concepts and results
Amsterdam ; London : North-Holland ; New York : American Elsevier, 1971
Abstract/Sommario:
The sentential logic - The first-order predicate logic - The second-order predicate logic. Theory of definition - The natural numbers - The real numbers - Axiomatic set theory - Incompleteness. Undecidability.
| Campo | Valore |
|---|---|
| Descrizione | Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers. - Amsterdam ; London : North-Holland ; New York : American Elsevier, 1971. - XI, 235 p. ; 23 cm |
| Numeri |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione | |
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44633 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095667 | Biblioteca | LC / 971 / 30 | Ammesso al prestito | A scaffale | Nessuna |