01116nam2-2200373---450-99000322969020331620091110114022.00-7204-2277-9000322969USA01000322969(ALEPH)000322969USA0100032296920090428d1975----km-y0itay50------baengNL||||||||001yyProof theoryGaisi TakeutiAmsterdamNorth-Holland1975VII, 372 p.ill.23 cmStudies in logic and the foundations of mathematics810010003345862001Studies in logic and the foundations of mathematics81Logica matematica511.3TAKEUTI,Gaisi50858ITsalbcISBD990003229690203316510 SL 811162/CBS51000218685BKSCIRSIAV79020090428USA010912RSIAV79020090428USA010914RSIAV69020091110USA011140Proof Theory335175UNISA