Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Brouwer, Luitzen Egbert Jan Visualizza persona
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 Visualizza cluster
Pubblicazione: Amsterdam ; New York : North-Holland, 1982
Descrizione fisica: ix, 523 p. ; 23 cm.
Disciplina: 511.3
Soggetto topico: Brouwer, Luitzen Egbertus Jan
Constructive mathematics - Congresses
Intuitionistic mathematics - Congresses
Mathematical logic and foundations
Classificazione: AMS 03-06
QA9.56
Altri autori: Dalen, Dirk vanauthor  
Troelstra, A. S.author  
Note generali: Includes bibliographies
ISBN: 0444864946
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 991001072839707536
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Serie: Studies in logic and the foundations of mathematics, ISSN 0049237X ; 110