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.
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra
| Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | ix, 170 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides |
| Soggetto topico |
Intuitionistic mathematics
Many-valued logic Sequences |
| ISBN | 019853163X |
| Classificazione |
AMS 03B50
AMS 03F55 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000741689707536 |
Troelstra, A. S.
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Constructivism in mathematics : an introduction / A. S. Troelstra ; D. van Dalen
| Constructivism in mathematics : an introduction / A. S. Troelstra ; D. van Dalen |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1988 |
| Descrizione fisica | 2 v. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Dalen, Dirk van |
| Collana |
Studies in logic and the foundations of mathematics, ISSN 0049237X ; 121
Studies in logic and the foundations of mathematics, ISSN 0049237X ; 123 |
| Soggetto topico | Constructive mathematics |
| ISBN |
0444702660 (v.1)
0444703586 (v.2) |
| Classificazione |
AMS 03F
QA9.56.T74 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784869707536 |
|
Troelstra, A. S.
|
||
| Amsterdam : North-Holland, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
| Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.) |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin ; Heidelberg ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | xvii, 486 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 344 |
| Soggetto topico |
Intuitionistic mathematics
Model theory Proof theory |
| ISBN | 3540064915 |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001135329707536 |
|
Troelstra, A. S.
|
||
| Berlin ; Heidelberg ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra, editor
| Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra, editor |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1973 |
| Descrizione fisica | XVII, 485 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Teoria dei modelli
Teoria della dimostrazione |
| ISBN | 3-540-06491-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013514 |
| Berlin [etc.] : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Metamathematical investigation of intuitionistic arithmetic and analysis [e-book] / edited by A. S. Troelstra
| Metamathematical investigation of intuitionistic arithmetic and analysis [e-book] / edited by A. S. Troelstra |
| Pubbl/distr/stampa | Berlin : Springer, 1973 |
| Descrizione fisica | 1 online resource (xx, 488 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Troelstra, A. S. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 344 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540378068 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002176969707536 |
| Berlin : Springer, 1973 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. / A. S. Troelstra
| Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. / A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1969 |
| Descrizione fisica | 111 p. ; 28 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013853 |
|
Troelstra, A. S.
|
||
| Berlin [etc.] : Springer, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Principles of Intuitionism [e-book] : lectures presented at the summer conference on intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra
| Principles of Intuitionism [e-book] : lectures presented at the summer conference on intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin : Springer, 1969 |
| Descrizione fisica | 1 online resource (111 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 95 |
| Soggetto topico | Mathematics |
| ISBN | 9783540361305 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002154609707536 |
|
Troelstra, A. S.
|
||
| Berlin : Springer, 1969 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Prof theory (1968) at SUNY at Buffalo, N. Y. / A. S. Troelstra
| Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Prof theory (1968) at SUNY at Buffalo, N. Y. / A. S. Troelstra |
| Autore | Troelstra, A. S. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1969 |
| Descrizione fisica | 111 p. ; 29 cm |
| Collana | Lecture notes in mathematics, 0075-8434 ; 95 |
| Soggetto topico | Intuitionistic mathematics - Congresses |
| Classificazione | AMS 03F55 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001241479707536 |
|
Troelstra, A. S.
|
||
| Berlin : Springer-Verlag, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||