LEADER 00772nam0-22002651i-450- 001 990001274480403321 035 $a000127448 035 $aFED01000127448 035 $a(Aleph)000127448FED01 035 $a000127448 100 $a20000920d1941----km-y0itay50------ba 101 0 $aeng 200 1 $a<>Two-Valued Iterative Systems of Mathematical Logic$fby Post Emil 205 $a$a 210 $as.l.$cPrinceton University Press$d1941 215 $aAnnals of mathematics studies n.5 700 1$aPost,$bEmil L.$058265 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001274480403321 952 $aC-11-(5$b11372$fMA1 959 $aMA1 996 $aTwo-Valued Iterative Systems of Mathematical Logic$9380548 997 $aUNINA DB $aING01