LEADER 00748nam0-22002531i-450-
001 990001253730403321
035   $a000125373
035   $aFED01000125373
035   $a(Aleph)000125373FED01
035   $a000125373
100   $a20000920d1986----km-y0itay50------ba
101 0 $aeng
200 1 $aTheories for Admissible Sets a Unifying Approach to Proof Theory$fBy Jager
210   $aNapoli$cBibliopolis$d1986
225 1 $aStudies in Proof Theory
700  1$aJager,$bGerhard$0187737
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001253730403321
952   $a114-E-40$b3873$fMA1
959   $aMA1
996   $aTheories for Admissible Sets a Unifying Approach to Proof Theory$9380649
997   $aUNINA
DB    $aING01