000 00498nam a2200193Ia 4500
001 CATREF080527
008 110518s9999 xx 000 0 und d
041 _aeng
082 _a164
100 _aPost, Emil L.
245 _aTwo-valued iterative systems of mathematical logic
260 _aPrinceton
_bPrinceton University
_c1941
300 _a122p
440 _aAnnals of mathematics studies : No. 5
546 _bRoman
650 _aMathematical logic
906 _atext
942 _cBK
999 _c197062
_d197062