LEADER 00932nam a2200253 i 4500
001 991003026839707536
005 20020509110844.0
008 000220s1962    ne            ||| | eng  
035   $ab11097589-39ule_inst
035   $aPARLA173681$9ExL
040   $aDip.to Filosofia$bita
082 0 $a164
100 1 $aBeth, Evert Willem$0158977
245 10$aFormal methods :$ban introdution to symbolic logic and to the study of effective operations in aritmetic and logic /$cEvert Willem Beth
260   $aDordrecht :$bReidel,$c1962
300   $aXIV, 170 p. ;$c22 cm
490 0 $aSynthese library
650  4$aLogica matematica
907   $a.b11097589$b23-02-17$c28-06-02
912   $a991003026839707536
945   $aLE005IF VIII G 2$g1$i2005000076312$lle005$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i11230915$z28-06-02
996   $aFormal Methods$9358229
997   $aUNISALENTO
998   $ale005$b01-01-00$cm$da  $e-$feng$gne $h0$i1