00748nam0-22002531i-450-990001253730403321000125373FED01000125373(Aleph)000125373FED0100012537320000920d1986----km-y0itay50------baengTheories for Admissible Sets a Unifying Approach to Proof TheoryBy JagerNapoliBibliopolis1986Studies in Proof TheoryJager,Gerhard187737ITUNINARICAUNIMARCBK990001253730403321114-E-403873MA1MA1Theories for Admissible Sets a Unifying Approach to Proof Theory380649UNINAING01