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.
Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen
| Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen |
| Autore | Brouwer, Luitzen Egbert Jan |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1981 |
| Descrizione fisica | xii, 109 p. ; 23 cm |
| Disciplina | 511.2 |
| Altri autori (Persone) | Dalen, Dirk van |
| Soggetto topico |
Intuitionistic mathematics
Philosophy of mathematics |
| ISBN | 0521234417 |
| Classificazione | AMS 00A30 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000723809707536 |
Brouwer, Luitzen Egbert Jan
|
||
| Cambridge : Cambridge University Press, 1981 | ||
| 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 | ||
| ||
Lezioni sull'intuizionismo : Cambridge, 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk van Dalen
| Lezioni sull'intuizionismo : Cambridge, 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk van Dalen |
| Autore | Brouwer, Luitzen E. J. |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1983 |
| Descrizione fisica | 113 p. : 1 ritr. ; 23 cm. |
| Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
| ISBN | 97-88833-95-3755. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0053518 |
|
Brouwer, Luitzen E. J.
|
||
| Torino, : Boringhieri, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lezioni sull'intuizionismo : Cambridge, 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk van Dalen
| Lezioni sull'intuizionismo : Cambridge, 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk van Dalen |
| Autore | Brouwer, Luitzen E. J. |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1983 |
| Descrizione fisica | 113 p. : 1 ritr. ; 23 cm |
| Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
| ISBN | 978-88-339-5375-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0053518 |
|
Brouwer, Luitzen E. J.
|
||
| Torino, : Boringhieri, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen ; [traduz. Sergio Bernini]
| Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen ; [traduz. Sergio Bernini] |
| Autore | Brouwer, Luitzen Egbert Jan |
| Pubbl/distr/stampa | Torino : Boringhieri, 1983 |
| Descrizione fisica | 113 p. ; 22 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Bernini, Sergio
Dalen, Dirk van |
| Collana | Lectio. Letture di filosofia, logica, matematica |
| Soggetto topico |
Collections of papers
Proof theory |
| Classificazione | AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001078679707536 |
|
Brouwer, Luitzen Egbert Jan
|
||
| Torino : Boringhieri, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Lezioni sull'intuizionismo : Cambridge, 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk van Dalen
| Lezioni sull'intuizionismo : Cambridge, 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk van Dalen |
| Autore | Brouwer, Luitzen Egbert Jan |
| Pubbl/distr/stampa | Torino : Boringhieri, 1983 |
| Descrizione fisica | 113 p. : 1 ritr. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Dalen, Dirk van |
| Collana | Lectio ; 4 |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991003512029707536 |
|
Brouwer, Luitzen Egbert Jan
|
||
| Torino : Boringhieri, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [4. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | X, 263 p. ; 24 cm. |
| Soggetto topico |
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03B16 - Higher-order logic [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03B38 - Type theory [MSC 2020] |
| ISBN | 35-402-0879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0060285 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [4. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | X, 263 p. ; 24 cm |
| Soggetto topico |
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03B16 - Higher-order logic [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03B38 - Type theory [MSC 2020] |
| ISBN | 35-402-0879-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0060285 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [3., augmented ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 1994 |
| Descrizione fisica | VIII, 215 p. ; 24 cm. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN |
03-87578-39-0
35-405-7839-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0049800 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and structure / Dirk van Dalen
| Logic and structure / Dirk van Dalen |
| Autore | Dalen, Dirk van |
| Edizione | [3.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1994 |
| Descrizione fisica | VIII, 215 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN |
03-87578-39-0
35-405-7839-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0049800 |
|
Dalen, Dirk van
|
||
| Berlin, : Springer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
