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.
Ecrits logiques / Jacques Herbrand ; avec une préface de Jean van Heijenoort ; une notice biographique par Claude Chevalley et Albert Lautmann ; et une notice sur la pensée de Herbrand par Claude Chevalley
| Ecrits logiques / Jacques Herbrand ; avec une préface de Jean van Heijenoort ; une notice biographique par Claude Chevalley et Albert Lautmann ; et une notice sur la pensée de Herbrand par Claude Chevalley |
| Autore | Herbrand, Jacques |
| Pubbl/distr/stampa | Paris : Presses Universitaires de France, 1968 |
| Descrizione fisica | 243 p. ; 21 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Heijenoort, Jean : van
Chevalley, Claude Lautmann, Albert |
| Collana | Bibliothèque de Philosophie Contemporaine |
| Soggetto topico |
Logica matematica
Logica matematica - Saggio critico |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991002756179707536 |
Herbrand, Jacques
|
||
| Paris : Presses Universitaires de France, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Frege and Godel : Two Fundamental Texts in Mathematical Logic / edited by Jean van Heijenoort
| Frege and Godel : Two Fundamental Texts in Mathematical Logic / edited by Jean van Heijenoort |
| Autore | Heijenoort, Jean : van |
| Pubbl/distr/stampa | Cambridge [Mass.] : Harvard University Press, 1970 |
| Descrizione fisica | 116 p. ; 26 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001073330403321 |
|
Heijenoort, Jean : van
|
||
| Cambridge [Mass.] : Harvard University Press, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Frege and godel : two fondamental text in mathematical logic / edited by Heijendort, J.
| Frege and godel : two fondamental text in mathematical logic / edited by Heijendort, J. |
| Pubbl/distr/stampa | Cambridge, : Harvard University Press, 1970 |
| Descrizione fisica | 116 p. ; 25 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990003752320403321 |
| Cambridge, : Harvard University Press, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
FREGE and Gḏel : two fundamental texts in mathematical logic / edited by Jean van Heijenoort
| FREGE and Gḏel : two fundamental texts in mathematical logic / edited by Jean van Heijenoort |
| Pubbl/distr/stampa | Cambridge : Harvard University Press, c 1967 |
| Descrizione fisica | 116 p. ; 26 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
LOGICA MATEMATICA - Teoria
LOGICA SIMBOLICA |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990003822820403321 |
| Cambridge : Harvard University Press, c 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Frege to Godel : a source book in mathematical logic, 1879-1931 / Jean van Heijenoort
| From Frege to Godel : a source book in mathematical logic, 1879-1931 / Jean van Heijenoort |
| Autore | Heijenoort, Jean : van |
| Pubbl/distr/stampa | Cambridge [Mass.] : Harvard University Press, 1967 |
| Descrizione fisica | x, 660 p. ; 26 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001073320403321 |
|
Heijenoort, Jean : van
|
||
| Cambridge [Mass.] : Harvard University Press, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Frege to Godel : a source book in mathematical logic, 1879-1931 / by HAIJENOORT (VAN) J.
| From Frege to Godel : a source book in mathematical logic, 1879-1931 / by HAIJENOORT (VAN) J. |
| Autore | Heijenoort, Jean : van |
| Pubbl/distr/stampa | Cambridge [Mass.] : Harvard University Press |
| Collana | Source Books in the History of the Sciences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001300340403321 |
|
Heijenoort, Jean : van
|
||
| Cambridge [Mass.] : Harvard University Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical Writings / Jacques Herbrand ; edited by Warren D. Goldfarb
| Logical Writings / Jacques Herbrand ; edited by Warren D. Goldfarb |
| Autore | Herbrand, Jacques |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1971 |
| Descrizione fisica | VII, 312 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-277-01-768 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007030403321 |
|
Herbrand, Jacques
|
||
| Dordrecht (NL) : Reidel, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Selected Essays / Jean van Heijenoort
| Selected Essays / Jean van Heijenoort |
| Autore | Heijenoort, Jean : van |
| Pubbl/distr/stampa | Napoli, : Bibliopolis, 1985 |
| Descrizione fisica | 166 p. ; 24 cm |
| Collana | History of logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISOB-E600200059999 |
|
Heijenoort, Jean : van
|
||
| Napoli, : Bibliopolis, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Selected essays / Jean van Heijenoort
| Selected essays / Jean van Heijenoort |
| Autore | Heijenoort, Jean : van |
| Pubbl/distr/stampa | Napoli, : Bibliopolis, 1985 |
| Descrizione fisica | 166 p. ; 23 cm |
| Collana | History of Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990004041880403321 |
|
Heijenoort, Jean : van
|
||
| Napoli, : Bibliopolis, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Staline / Leon Trotski ; traduit du russe par J. van Heijenoort
| Staline / Leon Trotski ; traduit du russe par J. van Heijenoort |
| Autore | Trockij, Lev Davydovic <1879-1940> |
| Pubbl/distr/stampa | Paris : Grasset, 1948 |
| Descrizione fisica | XIV, 620 p. : ill. ; 23 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990009096130403321 |
|
Trockij, Lev Davydovic <1879-1940>
|
||
| Paris : Grasset, 1948 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
