LEADER 01317nam a2200289 u 4500 001 000000079387 003 CaOOAMICUS 005 20070226123531.0 008 040601s1994 mauac u000 u eng u 020 $a0817635793 035 $a10997426 040 $aPUL$bita 100 1 $aPost, Emil Leon,$d1897-1954.$0(OLS)http://pul/name/52885 240 10$aOpere$9(Post, Emil Leon, 1897-1954).$0(OLS)http://pul/title/103955 245 10$aSolvability, provability, definability :$bthe collected works of Emil L. Post /$cMartin Davis (editor) 260 $aBoston :$bBirkhäuser,$c1994. 300 $axxviii, 554 p. :$bill. (ritr.) ;$c25 cm 490 1 $aContemporary mathematicians 650 4$aLogica$ySec. XX.$0(OLS)http://pul/subject/26526 700 1 $aDavis, Martin,$d1928-$0(OLS)http://pul/name/48980 830 0$aContemporary mathematicians.$0(OLS)http://pul/title/103957 850 $aPUL 852 $aPUL$W1$xDP1 Filosofia 1$y19$m745 I 1$j101596$nBK-PRI$b $qStampati$B101596$CPULBib$Z2$F101596 $HPUL92400 $81 941 1 $a8 996 $6020$a0817635793$9(OLS)http://pul/number/104343 996 $6245$aSolvability, provability, definability :$bthe collected works of Emil L. Post$9(OLS)http://pul/title/103956 996 $6260$aBoston :$bBirkhäuser$9(OLS)http://pul/publisher/75625