LEADER 00868nam0-2200313---450-
001 990008447970403321
005 20070111130600.0
010   $a88-8091-287-9
035   $a000844797
035   $aFED01000844797
035   $a(Aleph)000844797FED01
035   $a000844797
100   $a20070111d1995----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $ay-------001yy
200 1 $aMetodi tableaux per la logica classica e modale$fAlberto Artosi
210   $aBologna$cCLUEB$dİ1995
215   $a165 p.$d22 cm
225 1 $aMiscellanea del CIRFID$v10
676   $a160$v20$zita
700  1$aArtosi,$bAlberto$0151760
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990008447970403321
952   $aXI MISC 10$bs.i.$fDFD
959   $aDFD
996   $aMetodi tableaux per la logica classica e modale$9216997
997   $aUNINA