000 00400nam a2200169Ia 4500
001 40857
003 CONS
008 171214s9999 xx 000 0 eng d
041 0 _aeng
082 0 4 _a510.6
100 1 _aOrman Q.
245 1 0 _aMathematical Logic.
_cOrman Q., Willard V.
260 _aCambridge
_bHarvard University Press
_c1947
300 _a351 p.
700 1 _aWillard V.
942 _2udc
_cBK
999 _c40500
_d40500