000
00214nam a2200097 4500
008
160616s 000 0
245
_a
Mathematical logic
100
_a
Davis, M
942
_c
BK
_2
BK11622
080
_a
CI 20
999
_c
11622
_d
11622