000 00275nam a2200109 4500
008 160616s 000 0
245 _aThe two valued iterative sytems of mathematical logic
100 _aPost, E.L
500 _aB31 H1
942 _cBK
_2BK4562
080 _a510.6 POST
999 _c4562
_d4562