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.
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 : 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / by Buchholz W. Feferman S. Pohlers W. Sieg W.
| Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / by Buchholz W. Feferman S. Pohlers W. Sieg W. |
| Autore | Buchholz, Wilfried |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1 |
| Collana | Lecture Notes in Mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001218740403321 |
|
Buchholz, Wilfried
|
||
| Berlin [etc.] : Springer-Verlag, 1 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Kurt Godel : collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.]
| Kurt Godel : collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.] |
| Autore | Godel, Kurt |
| Pubbl/distr/stampa | New York ; Oxford : Oxford Univ. Press ; Clarendon Press, 1986-1995 |
| Descrizione fisica | 3 v. : port. ; 25 cm |
| Disciplina | 510 |
| Altri autori (Persone) | Feferman, Solomon |
| Soggetto (Persona) | Godel, Kurt Collected works |
| Soggetto topico |
Mathematical logic
Symbolic logic |
| ISBN |
0195039645 (v.1)
0195039726 (v.2) 0195072553 (v.3) |
| Classificazione |
AMS 00A10 (1985)
LC QA9.G5313 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001055249707536 |
|
Godel, Kurt
|
||
| New York ; Oxford : Oxford Univ. Press ; Clarendon Press, 1986-1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic / A.M. Turing ; edited by the late R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]
| Mathematical logic / A.M. Turing ; edited by the late R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.] |
| Autore | Turing, Alan Mathison |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 2001 |
| Descrizione fisica | XII, 293 p. : ill. ; 25 cm |
| Collana | Collected works of A.M. Turing |
| Soggetto non controllato | Storia della matematica |
| ISBN | 0-444-50423-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007934440403321 |
|
Turing, Alan Mathison
|
||
| Amsterdam [etc.] : North-Holland, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-theoretic logics / eds. J. Barwise, S. Feferman
| Model-theoretic logics / eds. J. Barwise, S. Feferman |
| Autore | Barwise, Jon |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1985 |
| Descrizione fisica | xviii, 893 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Feferman, Solomon |
| Collana | Perspectives in mathematical logic |
| Soggetto topico | Model theory |
| ISBN | 0387909362 |
| Classificazione |
AMS 03-06
AMS 03C QA9.7.M58 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149019707536 |
|
Barwise, Jon
|
||
| New York : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Opere / Kurt Gödel; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]
| Opere / Kurt Gödel; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.] |
| Autore | Gödel, Kurt |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri |
| Descrizione fisica | volumi ; 24 cm. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0044922 |
|
Gödel, Kurt
|
||
| Torino : Bollati Boringhieri | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Opere / Kurt Gödel; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]
| Opere / Kurt Gödel; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.] |
| Autore | Gödel, Kurt |
| Pubbl/distr/stampa | Torino, : Bollati Boringhieri |
| Descrizione fisica | volumi ; 24 cm. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-VAN0044922 |
|
Gödel, Kurt
|
||
| Torino, : Bollati Boringhieri | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Opere / Kurt Godel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson ...[et al.]
| Opere / Kurt Godel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson ...[et al.] |
| Autore | Gödel, Kurt |
| Edizione | [Ed. italiana /] |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, c1999- |
| Descrizione fisica | v. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Feferman, Solomon
Dawson, John W. Ballo, Edoardo |
| Collana | Opere di Godel |
| ISBN |
8833911837
9788833920290 (v. 4) 9788833920306 (v. 5) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto |
V. 1.: 1929-1936. - 1999. - XXII, 361 p., [2] c. di tav. : 1 ritr., ill.
V. 2: 1938-1974 . - 2002. - XVIII, 388 p. V.3: Saggi inediti e conferenze. - 2006. - XIX, 456 p., [4] c. di tav. : ill. V. 4.: Corrispondenza: A-G. / - 2009. xxii, 419 p., [6] c. di tav. V. 5.: Corrispondenza: H-Z. - 2009. xxv, 532 p, [8] c. di tav. |
| Record Nr. | UNISALENTO-991003914599707536 |
|
Gödel, Kurt
|
||
| Torino : Bollati Boringhieri, c1999- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The number systems : foundations of algebra and analysis / Solomon Feferman
| The number systems : foundations of algebra and analysis / Solomon Feferman |
| Autore | Feferman, Solomon |
| Pubbl/distr/stampa | Reading [MA] : Addison-Wesley, 1964 |
| Descrizione fisica | XII, 418 p. : ill. ; 24 cm |
| Disciplina |
512
513 512.7 |
| Collana | Addison-Wesley series in mathematics |
| Soggetto non controllato |
Aritmetica
Teoria dei numeri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000991420403321 |
|
Feferman, Solomon
|
||
| Reading [MA] : Addison-Wesley, 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
