RecordNumber :
45973
LC Class :
QA
LC Number :
9
LC CutterNumber :
.H46
LC Date :
1971
Author :
Heyting, A
Title :

Intuitionism

Author Statement :
[By] A. Heyting
Edition :
[3d rev. ed.]
Publication :
North-Holland Pub. Co.
Publication Year :
1971
Collation :
viii, 147 p. 23 cm
Series :
Studies in logic and the foundations of mathematics
Subject :
Intuitionistic mathematics
DocumentNumber :
55001
SubTitle :
an introduction
Index :
Bibliography: p. [127]-141
Link To Document :

بازگشت