00858nam0-22003251i-450-9900010925904033210-444-87943-9000109259FED01000109259(Aleph)000109259FED0100010925920000920d1987----km-y0itay50------baengProof TheoryGaisi Takeuti2nd ed.Amsterdam [etc.]North-Holland1987X, 490 p.23 cmStudies in logic and the foundations of mathematicsvol. 81LogicaRicorsività160Takeuti,Gaisi50858ITUNINARICAUNIMARCBK9900010925904033217-154.00116484FI1FI1Proof Theory335175UNINAING01