000 00607pam a2200229 a 4500
001 3543533
003 OSt
005 20180308150012.0
008 970619s1997 nyu b 001 0 eng
010 _a 97025726
020 _a9781107167926
040 _aDLC
_cDLC
_dDLC
082 0 0 _a511.3
_220
_bLIN
100 1 _aLindstrom, Per,
_d1936-
245 1 0 _aAspects of incompleteness /
_cPer Lindstrom.
260 _aCambridge
_bCambridge Uni Pr
_c2016
300 _ax, 132p
490 _aLecture notes in logic ;
_v10
650 0 _aMathematics
650 0 _aIncompleteness theorems
650 0 _aRecursion theory
942 _2ddc
_cBK
999 _c113747
_d113747