000
00240pam a2200109a 44500
082
_a
160
_b
ST9
100
_a
Heyting, A.
245
1
_a
CONSTRUCTIVITY IN MATHEMATICS
260
_a
_b
North-Holland
_c
1959
964
_g
CIRC
997
_a
2801 C
999
_c
412455
_d
412455