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 |