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.
An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel
An introduction to logic and scientific method / by Morris R. Cohen and Ernest Nagel
Autore COHEN, Morris R.
Pubbl/distr/stampa London : Routledge & Kegan, 1963
Descrizione fisica XIV, 467 p. ; 22 cm.
Disciplina 160
Altri autori (Persone) NAGEL, Ernest
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990005598370203316
COHEN, Morris R.  
London : Routledge & Kegan, 1963
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
An introduction to logic and scientific method / Cohen Morris ; Nagel Ernest
An introduction to logic and scientific method / Cohen Morris ; Nagel Ernest
Autore Cohen, Morris
Pubbl/distr/stampa London : Routledge, 1934
Descrizione fisica 467 p ; 22 cm
Altri autori (Persone) Nagel, Ernest >
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990003908750403321
Cohen, Morris  
London : Routledge, 1934
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Der gödelsche beweis / Ernest Nagel und James R. Newman
Der gödelsche beweis / Ernest Nagel und James R. Newman
Autore NAGEL, Ernest
Pubbl/distr/stampa Wien : Oldenbourg, 1964
Descrizione fisica 110 p. ; 20 cm
Disciplina 160
Altri autori (Persone) NEWMAN, James R.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990000460790203316
NAGEL, Ernest  
Wien : Oldenbourg, 1964
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Godel's proof / / by Ernest Nagel and James R. Newman
Godel's proof / / by Ernest Nagel and James R. Newman
Autore Nagel Ernest <1901-1985., >
Edizione [3rd ed.]
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 2005
Descrizione fisica 1 online resource (105 p.)
Disciplina 511.3
Altri autori (Persone) NewmanJames Roy <1907-1966.>
Collana Routledge classics
Soggetto topico Gödel's theorem
Soggetto genere / forma Electronic books.
ISBN 0-203-71522-5
1-283-88476-3
1-135-86532-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Gödel's Proof; Copyright; Contents; Acknowledgments; 1 Introduction; 2 The Problem of Consistency; 3 Absolute Proofs of Consistency; 4 The Systematic Codification of Formal Logic; 5 An Example of a Successful Absolute Proof of Consistency; 6 The Idea of Mapping and its Use in Mathematics; 7 Gödel's Proofs; A Gödel numbering; B The arithmetization of meta-mathematics; C The heart of Gödel's argument; 8 Concluding Reflections; Notes; Brief Bibliography; Index
Record Nr. UNINA-9910452538503321
Nagel Ernest <1901-1985., >  
London ; ; New York : , : Routledge, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Godel's proof / / by Ernest Nagel and James R. Newman
Godel's proof / / by Ernest Nagel and James R. Newman
Autore Nagel Ernest <1901-1985., >
Edizione [3rd ed.]
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 2005
Descrizione fisica 1 online resource (105 p.)
Disciplina 511.3
Altri autori (Persone) NewmanJames Roy <1907-1966.>
Collana Routledge classics
Soggetto topico Gödel's theorem
Soggetto genere / forma Electronic books.
ISBN 1-135-86539-6
0-203-71522-5
1-283-88476-3
1-135-86532-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Gödel's Proof; Copyright; Contents; Acknowledgments; 1 Introduction; 2 The Problem of Consistency; 3 Absolute Proofs of Consistency; 4 The Systematic Codification of Formal Logic; 5 An Example of a Successful Absolute Proof of Consistency; 6 The Idea of Mapping and its Use in Mathematics; 7 Gödel's Proofs; A Gödel numbering; B The arithmetization of meta-mathematics; C The heart of Gödel's argument; 8 Concluding Reflections; Notes; Brief Bibliography; Index
Record Nr. UNINA-9910530516903321
Nagel Ernest <1901-1985., >  
London ; ; New York : , : Routledge, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La prova di Gödel / Ernest Nagel, James R. Newman ; [traduzione di Luigi Bianchi]
La prova di Gödel / Ernest Nagel, James R. Newman ; [traduzione di Luigi Bianchi]
Autore NAGEL, Ernest
Pubbl/distr/stampa Torino, : Boringhieri, 1974 (stampa 1982)
Descrizione fisica 108 p. ; 19 cm
Disciplina 511.3
Altri autori (Persone) NEWMAN, James R.
Collana Universale scientifica
Soggetto topico Teorema di incompletezza di Gödel
Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005671560203316
NAGEL, Ernest  
Torino, : Boringhieri, 1974 (stampa 1982)
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
La prova di Godel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard
La prova di Godel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard
Autore Nagel, Ernest <matematico ; <1901-1985
Pubbl/distr/stampa Torino : Bollati Boringhieri, 1992
Descrizione fisica 137 p. ; 19 cm
Disciplina 511.3
Collana Universale Bollati Boringhieri, Serie scientifica
ISBN 88-339-0309-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990004634220403321
Nagel, Ernest <matematico ; <1901-1985  
Torino : Bollati Boringhieri, 1992
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La prova di Godel / Ernest Nagel, James R. Newman
La prova di Godel / Ernest Nagel, James R. Newman
Autore Nagel, Ernest <matematico ; <1901-1985
Pubbl/distr/stampa Torino : Boringhieri, 1974
Descrizione fisica 108 p. ; 20 cm
Disciplina 511.3
Altri autori (Persone) Newman, James R.
Collana Universale scientifica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990004154510403321
Nagel, Ernest <matematico ; <1901-1985  
Torino : Boringhieri, 1974
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
La prova di Godel / Ernest Nagel e James R. Newman
La prova di Godel / Ernest Nagel e James R. Newman
Autore Nagel, Ernest
Edizione [Torino : P. Boringhieri, 1974]
Pubbl/distr/stampa 108 p., : ill. ; 19 cm
Descrizione fisica Trad. L. Bianchi.
Altri autori (Persone) Newman, James R.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-88-339-0309-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0055030
Nagel, Ernest  
108 p., : ill. ; 19 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
La prova di Godel / Ernest Nagel e James R. Newman
La prova di Godel / Ernest Nagel e James R. Newman
Autore Nagel, Ernest
Edizione [Torino : P. Boringhieri, 1974]
Pubbl/distr/stampa 108 p., : ill. ; 19 cm
Descrizione fisica Trad. L. Bianchi.
Altri autori (Persone) Newman, James R.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-88-339-0309-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0055030
Nagel, Ernest  
108 p., : ill. ; 19 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui