000 00240pam a2200109a 44500
082 _a160
_bST9
100 _aHeyting, A.
245 1 _aCONSTRUCTIVITY IN MATHEMATICS
260 _a
_bNorth-Holland
_c1959
964 _gCIRC
997 _a2801 C
999 _c412455
_d412455