000 00262pam a2200109a 44500
082 _a160
_bST9 V.15
100 _aSkolem, Th.
245 1 _aMATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS
260 _a
_bNorth-Holland
_c1955
964 _gCIRC
997 _a24961 C
999 _c413153
_d413153