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 |