LEADER 00909nam0-22003251i-450-
001 990000950730403321
005 20071126104616.0
035   $a000095073
035   $aFED01000095073
035   $a(Aleph)000095073FED01
035   $a000095073
100   $a20001205d1954----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $ay-------001yy
200 1 $aSolvable cases of the decision problem$fW. Ackermann
210   $aAmsterdam$cNorth-Holland$d1954
215   $aVIII, 114 p.$d22 cm
225 1 $aStudies in logic and the foundations of mathematics
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aAckermann,$bWilhelm$f<1896-1962>$044150
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000950730403321
952   $a7-040$b438$fFI1
959   $aFI1
996   $aSolvable cases of the decision problem$9344907
997   $aUNINA