Mathematical logic
Reading (Mass.) : Addison-Wesley, 1967
Abstract/Sommario:
The nature of mathematical logic - First-order theories - Theorems in first-order theories - The characterization problem - The theory of models - Incompleteness and undecidability - Recursion theory - The natural numbers - Set theory - Appendix: the world problem.
| Campo | Valore |
|---|---|
| Descrizione | Mathematical logic / Joseph R. Shoenfield. - Reading (Mass.) : Addison-Wesley, 1967. - VII, 344 p. ; 24 cm. - (Addison-Wesley series in logic) |
| Collezione |
|
| Numeri |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 43750 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095154 | Biblioteca | LC / 967 / 3 | Ammesso al prestito | A scaffale | Nessuna |