Bibliotheca mathematica |
Pubbl/distr/stampa | Amsterdam, : North-Holland ; Groningen, : Noordhoff |
Formato | Materiale a stampa |
Livello bibliografico | Collezione |
Lingua di pubblicazione | und |
Record Nr. | UNICAMPANIA-VAN0055503 |
Amsterdam, : North-Holland ; Groningen, : Noordhoff | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Bibliotheca mathematica |
Pubbl/distr/stampa | Amsterdam, : North-Holland ; Groningen, : Noordhoff |
Formato | Materiale a stampa |
Livello bibliografico | Collezione |
Lingua di pubblicazione | und |
Record Nr. | UNICAMPANIA-VAN00055503 |
Amsterdam, : North-Holland ; Groningen, : Noordhoff | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to metamathematics / by Stephen Cole Kleene |
Autore | Kleene, Stephen Cole |
Pubbl/distr/stampa | Amsterdam, : North-Holland ; Groningen, : Noordhoff, stampa 2000 |
Descrizione fisica | X, 550 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
ISBN | 07-204-2103-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0055496 |
Kleene, Stephen Cole | ||
Amsterdam, : North-Holland ; Groningen, : Noordhoff, stampa 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to metamathematics / by Stephen Cole Kleene |
Autore | Kleene, Stephen Cole |
Pubbl/distr/stampa | Amsterdam, : North-Holland ; Groningen, : Noordhoff, stampa 2000 |
Descrizione fisica | X, 550 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
ISBN | 07-204-2103-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00055496 |
Kleene, Stephen Cole | ||
Amsterdam, : North-Holland ; Groningen, : Noordhoff, stampa 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|