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.
Constructivism in Mathematics : an introduction / by TROELSTRA A.S. DALEN (Van) D.
| Constructivism in Mathematics : an introduction / by TROELSTRA A.S. DALEN (Van) D. |
| Autore | Troelstra, Anne Sjerp |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1988 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001238130403321 |
Troelstra, Anne Sjerp
|
||
| Amsterdam [etc.] : North-Holland, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructivism in Mathematics : an introduction / A. S. Troelstra, D. van Dalen
| Constructivism in Mathematics : an introduction / A. S. Troelstra, D. van Dalen |
| Autore | Troelstra, Anne Sjerp |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1988 |
| Descrizione fisica | 2 v. |
| Disciplina | 511.3 |
| Soggetto non controllato |
Matematica costruttiva
Teoria della dimostrabilita |
| ISBN | 0-444-70266-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001319710403321 |
|
Troelstra, Anne Sjerp
|
||
| Amsterdam : North-Holland, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructivism in Mathematics : an introduction / by TROELSTRA A.S. DALEN (Van) D.
| Constructivism in Mathematics : an introduction / by TROELSTRA A.S. DALEN (Van) D. |
| Autore | Troelstra, Anne Sjerp |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1988 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001238120403321 |
|
Troelstra, Anne Sjerp
|
||
| Amsterdam [etc.] : North-Holland, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Constructivism in Mathematics : an introduction / A.S. Troelstra, D. van Dalen
| Constructivism in Mathematics : an introduction / A.S. Troelstra, D. van Dalen |
| Autore | Troelstra, Anne Sjerp |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1988 |
| Descrizione fisica | 2 v. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN |
0-444-70266-0
0-444-70358-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001092580403321 |
|
Troelstra, Anne Sjerp
|
||
| Amsterdam [etc.] : North-Holland, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van <1932- > |
| Edizione | [Fourth edition] |
| Pubbl/distr/stampa | Berlin : Springer, 2004 |
| Descrizione fisica | x, 263 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato | Logica matematica - fondamenti |
| ISBN | 3-540-20879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990007867380403321 |
|
Dalen, Dirk van <1932- >
|
||
| Berlin : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and structure / D. van Dalen
| Logic and structure / D. van Dalen |
| Autore | Dalen, Dirk van <1932- > |
| Edizione | [3nd ed.] |
| Pubbl/distr/stampa | Berlin : Springer, c1994 |
| Descrizione fisica | viii, 215 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato | Logica simbolica e matematica |
| ISBN | 3-540-57839-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001497750403321 |
|
Dalen, Dirk van <1932- >
|
||
| Berlin : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and structure / D. van Dalen
| Logic and structure / D. van Dalen |
| Autore | Dalen, Dirk van <1932- > |
| Edizione | [2nd edition] |
| Pubbl/distr/stampa | Berlin : Springer, c1980 |
| Descrizione fisica | x, 207 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato | Logica simbolica e matematica |
| ISBN | 0-387-12831-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001497740403321 |
|
Dalen, Dirk van <1932- >
|
||
| Berlin : Springer, c1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Colloquium '78 : Proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk Van Dalen, Kenneth Mcaloon
| Logic Colloquium '78 : Proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk Van Dalen, Kenneth Mcaloon |
| Autore | Boffa, Maurice |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1979 |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000963400403321 |
|
Boffa, Maurice
|
||
| Amsterdam [etc.] : North-Holland, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mystic, Geometer, and Intuitionist : The Life of L.E.J. Brouwer / Dirk van Dalen
| Mystic, Geometer, and Intuitionist : The Life of L.E.J. Brouwer / Dirk van Dalen |
| Autore | Dalen, Dirk van <1932- > |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1999- |
| Descrizione fisica | v. : ill. ; 23 cm |
| Disciplina | 509 |
| Soggetto non controllato | Storia della scienza |
| ISBN | 0-19-850297-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001437900403321 |
|
Dalen, Dirk van <1932- >
|
||
| Oxford : Clarendon Press, 1999- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets : naive ,axiomatic and applied / by Dalen Doets ; Swart
| Sets : naive ,axiomatic and applied / by Dalen Doets ; Swart |
| Autore | Dalen, Dirk van <1932- > |
| Pubbl/distr/stampa | Oxford [etc.] : Pergamon Press, 1978 |
| Collana | International series in pure and applied mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001143470403321 |
|
Dalen, Dirk van <1932- >
|
||
| Oxford [etc.] : Pergamon Press, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
