top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Introduction to metamathematics / by Stephen Cole Kleene
Introduction to metamathematics / by Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa Amsterdam, : North-Holland
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-SUN0055496
Kleene, Stephen Cole  
Amsterdam, : North-Holland
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to metamathematics / by Stephen Cole Kleene
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
Opac: Controlla la disponibilità qui
Introduction to metamathematics / by Stephen Cole Kleene
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
Opac: Controlla la disponibilità qui
Introduction to metamathematics / Stephen Cole Kleene
Introduction to metamathematics / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa New York : Wolters-Noordhoff, 1991
Descrizione fisica X, 550 p. ; 23 cm
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISOB-E600200031785
Kleene, Stephen Cole  
New York : Wolters-Noordhoff, 1991
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Introduction to metamathematics / Stephen Cole Kleene
Introduction to metamathematics / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa Groningen : Wolters-Noordhoff, reprint1971
Descrizione fisica x, 500 p. ; 23 cm.
Disciplina 511.3
Soggetto topico Mathematical logic-textbooks
Recursion theory
Classificazione AMS 03-01
AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001022609707536
Kleene, Stephen Cole  
Groningen : Wolters-Noordhoff, reprint1971
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logique mathématique / Stephen C. Kleene
Logique mathématique / Stephen C. Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa [Paris], : J. Gabay, [2004]
Descrizione fisica 413 p. ; 24 cm
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 2876470055
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Titolo uniforme
Record Nr. UNISANNIO-NAP0412972
Kleene, Stephen Cole  
[Paris], : J. Gabay, [2004]
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
Mathematical logic / Stephen Cole Kleene
Mathematical logic / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa Mineola, : Dover, 2002
Descrizione fisica XIII, 398 p. ; 22 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 04-86425-33-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051740
Kleene, Stephen Cole  
Mineola, : Dover, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / Stephen Cole Kleene
Mathematical logic / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa Mineola, : Dover, 2002
Descrizione fisica XIII, 398 p. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 04-86425-33-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051740
Kleene, Stephen Cole  
Mineola, : Dover, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / Stephen Cole Kleene
Mathematical logic / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Pubbl/distr/stampa Mineola, : Dover, 2002
Descrizione fisica XIII, 398 p. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 04-86425-33-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051740
Kleene, Stephen Cole  
Mineola, : Dover, 2002
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / Stephen Cole Kleene
Mathematical logic / Stephen Cole Kleene
Autore Kleene, Stephen Cole
Descrizione fisica xiii, 398 p. : ill. ; 24 cm
Disciplina 511.3
Soggetto topico Mathematical logic
Symbolic logic
Classificazione AMS 03-01
AMS 03-XX
LC QA9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001112879707536
Kleene, Stephen Cole  
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui