A Logical Journey : From Godel to Philosophy / Hao Wang |
Autore | Wang, Hao |
Pubbl/distr/stampa | Cambridge [etc.] : The MIT Press, 11996 |
Descrizione fisica | xiv, 391 p. ; 23 cm |
Disciplina | 509 |
Collana | Representation and Mind |
Soggetto non controllato | Storia della logica e probabilità |
ISBN | 0-262-23189-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001358030403321 |
Wang, Hao
![]() |
||
Cambridge [etc.] : The MIT Press, 11996 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Collected works / Edited by Solomon Feferman ... [et al.]. |
Autore | Gödel, Kurt |
Pubbl/distr/stampa | New York : Oxford University Press : Clarendon Press, 1986 |
Disciplina | 509 |
Soggetto non controllato | Storia della matematica |
ISBN | 0-19-503964-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000991430403321 |
Gödel, Kurt
![]() |
||
New York : Oxford University Press : Clarendon Press, 1986 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Filosofia della matematica : natura e fondamento della matematica / Giacomo Manno |
Autore | Manno, Giacomo A. |
Edizione | [Ed. italiana a cura di A. Pasquinelli] |
Pubbl/distr/stampa | Milano : Marzorati, 1972 |
Descrizione fisica | 411 p. ; 24 cm. |
Disciplina | 510.1 |
Altri autori (Persone) |
Cellucci, Carlo
Gödel, Kurt |
Collana |
La nuova scienza. Serie di filosofia
Biblioteca di cultura moderna ; 638 |
Soggetto topico | Matematica e filosofia |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002983579707536 |
Manno, Giacomo A.
![]() |
||
Milano : Marzorati, 1972 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Godel / edited by Jack J. Bulloff, Thomas C. Holyoke, S.W. Hahn |
Autore | Bulloff, Jack J. |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1969 |
Descrizione fisica | XII, 195 p. ; 24 cm |
Disciplina | 519 |
Soggetto non controllato | Fondamenti della logica matematica e probabilità |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001067830403321 |
Bulloff, Jack J.
![]() |
||
Berlin [etc.] : Springer-Verlag, 1969 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Godel / edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1969 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001261240403321 |
Berlin [etc.] : Springer-Verlag, 1969 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|