Format:
1 Online-Ressource
ISBN:
9783540046141
Series Statement:
Lecture notes in mathematics 95
Additional Edition:
Erscheint auch als Druckausgabe ISBN 978-3-540-36130-5
Language:
English
Keywords:
Intuitionistische Logik
;
Intuitionistische Mathematik
;
Intuitionismus
;
Intuitionismus
;
Beweistheorie
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
Author information:
Troelstra, Anne S. 1939-2019