LEADER 00832nam0-22002411i-450-
001 990001134610403321
035   $a000113461
035   $aFED01000113461
035   $a(Aleph)000113461FED01
035   $a000113461
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $aFormal methods. An introductions to symbolic logic and to the study of effective operations in arithmetic and logic$fby Beth E.W.
210   $aDordrecht (NL)$cReidel$d1962
225 1 $aSynthese Library
700  1$aBeth,$bEvert Willem$0158977
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001134610403321
952   $aC-25-(4$b11387$fMA1
959   $aMA1
996   $aFormal methods. An introductions to symbolic logic and to the study of effective operations in arithmetic and logic$9345340
997   $aUNINA