Vai al contenuto principale della pagina
Autore: |
Boolos, George
![]() |
Titolo: |
Computability and logic / George S. Boolos, Richard C. Jeffrey
![]() |
Pubblicazione: | New York, : Cambridge university, 1989 |
Edizione: | 3. ed |
Descrizione fisica: | X, 304 p. ; 23 cm |
Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
03Dxx - Computability and recursion theory [MSC 2020] | |
03B25 - Decidability of theories and sets of sentences [MSC 2020] | |
03F30 - First-order arithmetic and fragments [MSC 2020] | |
03H15 - Nonstandard models of arithmetic [MSC 2020] | |
03F40 - Gödel numberings and issues of incompleteness [MSC 2020] | |
03B45 - Modal logic (including the logic of norms) [MSC 2020] | |
03B10 - Classical first-order logic [MSC 2020] | |
Altri autori: |
Jeffrey, Richard C.
![]() |
Titolo autorizzato: | Computability and logic ![]() |
ISBN: | 05-213-8923-2 |
978-05-213-8923-5 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0053087 |
Lo trovi qui: | Univ. Vanvitelli |
Opac: | Controlla la disponibilità qui |