000
00297nam a2200121 4500
008
160616s 000 0
245
_a
A course in mathematical logic
100
_a
Bell, John I
100
_a
Machover, Moshe
260
_b
North-Holland
942
_c
BK
_2
BK10091
080
_a
510.6 BELL
999
_c
10091
_d
10091