LEADER 00717nam0-22002531i-450-
001 990001219720403321
035   $a000121972
035   $aFED01000121972
035   $a(Aleph)000121972FED01
035   $a000121972
100   $a20000920d--------km-y0itay50------ba
101 0 $aeng
200 1 $aProof Methods for Modal and Intuitionistic Logics$fby Fitting M.
210   $aBoston [etc.]$cReidel
225 1 $aSynthese Library$v169
700  1$aFitting,$bMelvin$046831
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001219720403321
952   $aC-25-(169$b369$fMA1
959   $aMA1
996   $aProof Methods for Modal and Intuitionistic Logics$9343155
997   $aUNINA
DB    $aING01