Format:
XVII, S. 345-879, LII
Edition:
2. impr
ISBN:
0444703586
,
9780444703583
Series Statement:
Studies in logic and the foundations of mathematics 123
In:
Vol. 2
Language:
English
Keywords:
Konstruktive Mathematik
Author information:
Troelstra, Anne S. 1939-2019
Author information:
Dalen, Dirk van 1932-