000 00496nam a22001817a 4500
005 20160204160716.0
008 160204b xxu||||| |||| 00| 0 eng d
040 _aNISER LIBRARY
041 _aEnglish
100 _aPost, E.L.
245 _aTwo valued interative systems of mathematical logic (the)
260 _aPrinceton
_bPUP
_c1941
300 _a122p. pbk.
440 _aAnnals of mathematics studies, number 5
650 _aMATHEMATICS
650 _aMATHEMATICAL LOGIC
942 _cBK
999 _c23674
_d23674