000 | 00555nam a22002057a 4500 | ||
---|---|---|---|
005 | 20160204160803.0 | ||
008 | 160204b xxu||||| |||| 00| 0 eng d | ||
020 | _a9780691095707 | ||
040 | _aNISER LIBRARY | ||
041 | _aEnglish | ||
082 |
_a510.6 _bPOS-T |
||
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 |
_c23675 _d23675 |