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.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui