LEADER 00943nam a2200277 i 4500 001 991003597719707536 005 20020509124835.0 008 010514s1987 it ||| | ita 020 $a8815012567 035 $ab11185211-39ule_inst 035 $aPARLA184815$9ExL 040 $aDip.to Filosofia$bita 082 0 $a511 100 1 $aLolli, Gabriele$048877 245 13$aLa macchina e le dimostrazioni :$bmatematica, logica e informatica /$cGabriele Lolli 260 $aBologna :$bIl mulino,$c1987 300 $a155 p. ;$c22 cm. 490 0 $aSaggi [Il Mulino] ;$v311 650 4$aCalcolo 650 4$aLogica matematica 907 $a.b11185211$b23-02-17$c28-06-02 912 $a991003597719707536 945 $aLE005IF LI C 9$g1$iLE005IFA-2846$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11333303$z28-06-02 996 $aMacchina e le dimostrazioni$979088 997 $aUNISALENTO 998 $ale005$b01-01-01$cm$da $e-$fita$git $h3$i1