ISBN:
0444702660
,
0444705066
,
0444703586
Series Statement:
Studies in logic and the foundations of mathematics ...
Language:
English
Subjects:
Mathematics
Keywords:
Konstruktivismus
;
Mathematik
;
Konstruktive Mathematik
;
Mathematische Logik
;
Intuitionistische Mathematik
Author information:
Troelstra, Anne S. 1939-2019
Author information:
Dalen, Dirk van 1932-