Umfang:
1 Online-Ressource
ISBN:
9783540046141
Serie:
Lecture notes in mathematics 95
Weitere Ausg.:
Erscheint auch als Druckausgabe ISBN 978-3-540-36130-5
Sprache:
Englisch
Schlagwort(e):
Intuitionistische Logik
;
Intuitionistische Mathematik
;
Intuitionismus
;
Intuitionismus
;
Beweistheorie
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
Mehr zum Autor:
Troelstra, Anne S. 1939-2019
Bookmarklink