000
00262pam a2200109a 44500
082
_a
160
_b
ST9 V.15
100
_a
Skolem, Th.
245
1
_a
MATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS
260
_a
_b
North-Holland
_c
1955
964
_g
CIRC
997
_a
24961 C
999
_c
413153
_d
413153