LEADER 00853nam0-22003011i-450- 001 990000961220403321 035 $a000096122 035 $aFED01000096122 035 $a(Aleph)000096122FED01 035 $a000096122 100 $a20000920d1962----km-y0itay50------ba 101 0 $aeng 200 1 $aFormal Methods$ean Introduction to Symbolic Logic and to Study of Effective Operations in Arithmetic and Logic$fEvert W. Beth 210 $aDordrecht (NL)$cReidel$d1962 215 $aXIV, 170 p.$d23 cm 225 1 $aSynthese Library 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aBeth,$bEvert Willem$0158977 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000961220403321 952 $a7-031$b4079$fFI1 959 $aFI1 996 $aFormal Methods$9358229 997 $aUNINA DB $aING01