000 00490 a2200253 4500
001 139881
020 _a0
041 _aeng
080 _a510(01) Rob
245 _aComplete theories
250 _a
260 _aAmsterdam
260 _bNorth-Holland,
260 _c1956
300 _a129 p.
300 _c21 cm
490 _aNRSA TR 0171 0180 : 1983
100 _aRobinson, Abraham
700 _a
650 _a
650 _aCompleteness theorem
942 _cBK
942 _2UDC
999 _c72629
_d72629