Format:
XVII, 485 S.
ISBN:
3540064915
,
0387064915
Series Statement:
Lecture notes in mathematics 344
Language:
Undetermined
Subjects:
Mathematics
Keywords:
Metamathematik
;
Intuitionistische Arithmetik
;
Metamathematik
;
Intuitionistische Analysis
;
Intuitionistische Arithmetik
Author information:
Troelstra, Anne S. 1939-2019