LEADER 00929nam0-22003251i-450- 001 990001442020403321 005 20071109143241.0 010 $a88-7088-177-6 035 $a000144202 035 $aFED01000144202 035 $a(Aleph)000144202FED01 035 $a000144202 100 $a20001205d1987----km-y0itay50------ba 101 0 $aita 200 1 $a<>teoria della dimostrazione di Hilbert$fEnrico Moriconi 210 $aNapoli$cBibliopolis$dc1987 215 $a126 p.$d22 cm 225 1 $aTesti per lo studio della logica matematica$v2 610 0 $aStoria della logica e probabilità 676 $a509 700 1$aMoriconi,$bEnrico$f<1950- >$059864 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001442020403321 952 $a6A-037$fFI1 952 $aZIT-143$b22663$fMA1 959 $aFI1 959 $aMA1 996 $aTeoria della dimostrazione di Hilbert$9374709 997 $aUNINA