|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001072839707536 |
|
|
Autore |
Brouwer, Luitzen Egbert Jan |
|
|
Titolo |
The L.E.J. Brouwer Centenary Symposium : proc. of the conf. held in Noordwijkerhout, 8-13 June 1981 / eds. A. S. Troelstra, D. van Dalen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; New York : North-Holland, 1982 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Studies in logic and the foundations of mathematics, ISSN 0049237X ; 110 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Dalen, Dirk vanauthor |
Troelstra, A. S.author |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Brouwer, Luitzen Egbertus Jan |
Constructive mathematics - Congresses |
Intuitionistic mathematics - Congresses |
Mathematical logic and foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
| |