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.
2: Mathematical logic / A. M. Turing ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman ... [et al.]
2: Mathematical logic / A. M. Turing ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman ... [et al.]
Autore Turing, Alan M.
Edizione [Amsterdam [etc.] : Elsevier, 2001]
Pubbl/distr/stampa XII, 293 p., : ill. ; 25 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 8-0-444-50423-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0092516
Turing, Alan M.  
XII, 293 p., : ill. ; 25 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
4: Mathematical logic / A. M. Turing ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman ... [et al.]
4: Mathematical logic / A. M. Turing ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman ... [et al.]
Autore Turing, Alan M.
Edizione [Amsterdam : Elsevier, 2001. - XII]
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0092516
Turing, Alan M.  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
Autore Feferman, Anita B.
Pubbl/distr/stampa Cambridge, : Cambridge university, 2004
Descrizione fisica VI, 425 p. : ill. ; 24 cm.
Altri autori (Persone) Feferman, Solomon
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
01A72 - Schools of mathematics [MSC 2020]
ISBN 05-218-0240-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0056819
Feferman, Anita B.  
Cambridge, : Cambridge university, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
Autore Feferman, Anita B.
Pubbl/distr/stampa Cambridge, : Cambridge university, 2004
Descrizione fisica VI, 425 p. : ill. ; 24 cm
Altri autori (Persone) Feferman, Solomon
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
01A72 - Schools of mathematics [MSC 2020]
ISBN 05-218-0240-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0056819
Feferman, Anita B.  
Cambridge, : Cambridge university, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.]
Collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.]
Autore Godel, Kurt
Pubbl/distr/stampa Oxford : Clarendon, 2003
Descrizione fisica v. ; 24 cm
Disciplina 511.3
Altri autori (Persone) Feferman, Solomon
Soggetto (Persona) Godel, Kurt. Opere
ISBN 0198500734 (v.4)
0198500750 (v.5)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione und
Nota di contenuto 4.: Correspondence A-G. - 2003. -XIX, 662 p.
5.: Correspondence H-Z. - 2003 XXIII, 664 p.
Record Nr. UNISALENTO-991001729919707536
Godel, Kurt  
Oxford : Clarendon, 2003
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Collected works / Kurt Godel
Collected works / Kurt Godel
Autore Gödel, Kurt
Pubbl/distr/stampa New York : Oxford University Press, 1995
Descrizione fisica xvii, 532 p. ; 25 cm
Disciplina 511.3
Soggetto non controllato Logica - Simbolica
Logica - Matematica
Matematici - 20. sec. - godel k.
ISBN 0-19-507255-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001356310403321
Gödel, Kurt  
New York : Oxford University Press, 1995
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Collected works : Volume I Publications 1938-1974 / Kurt Godel ; edited by Solomon Feferman ...[e altri]
Collected works : Volume I Publications 1938-1974 / Kurt Godel ; edited by Solomon Feferman ...[e altri]
Autore Gödel, Kurt
Pubbl/distr/stampa New York : Oxford University Press, 1990
Descrizione fisica xv, 407 p. ; 25 cm
Disciplina 511.3
Soggetto non controllato Logica - Simbolica
Logica - Matematica
Matematici - 20. sec. - godel k.
ISBN 0-19-503972-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001318230403321
Gödel, Kurt  
New York : Oxford University Press, 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Collected works / Kurt Godel ; edited by Solomon Feferman, John W. Dawson, Stephen C. Kleene...[et al.]
Collected works / Kurt Godel ; edited by Solomon Feferman, John W. Dawson, Stephen C. Kleene...[et al.]
Autore Gödel, Kurt
Pubbl/distr/stampa New York : Oxford University Press, 1990
Descrizione fisica 2 v. ; 23 cm
ISBN 0-19-503964-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1.: Publications 1929-1936 2.: Publication 1938-1974
Record Nr. UNINA-990004168840403321
Gödel, Kurt  
New York : Oxford University Press, 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Collected works / Edited by Solomon Feferman ... [et al.].
Collected works / Edited by Solomon Feferman ... [et al.].
Autore Gödel, Kurt
Pubbl/distr/stampa New York : Oxford University Press, 1990
Disciplina 509
Soggetto non controllato Storia della matematica
ISBN 0-19-503972-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001111740403321
Gödel, Kurt  
New York : Oxford University Press, 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Collected works : Volume I Publications 1929-1936 / Kurt Godel ; edited by Solomon Feferman ...[e altri]
Collected works : Volume I Publications 1929-1936 / Kurt Godel ; edited by Solomon Feferman ...[e altri]
Autore Gödel, Kurt
Pubbl/distr/stampa New York : Oxford University Press, 1986
Descrizione fisica xvi, 474 p. ; 25 cm
Disciplina 511.3
Soggetto non controllato Logica - Simbolica
Logica - Matematica
Matematici - 20. sec. - godel k.
ISBN 0-19-503964-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001318060403321
Gödel, Kurt  
New York : Oxford University Press, 1986
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui