000 00515pam a2200181a 44500
005 20170320125349.0
008 170320b xxu||||| |||| 00| 0 eng d
040 _cIITK
041 _aeng
082 _a510
_bAn72
100 _aPost, Emil L.
245 1 _aThe two valued iterative systems of mathematical logic
_cEmil L Post
260 _aPrinceton
_bPrinceton University Press
_c1941
300 _a122p
500 _aUniversity Microfilms Reprint
650 _aLogic, Symbolic and Mathematical
942 _cBK
999 _c385094
_d385094