00816nam 2200277 450 991075380060332120231114133222.088-7088-228-420231114d1992----u y0engy50 baengIT 001yySelected papers in proof theoryGrigorii E. MintsNapoliAmsterdamBibliopolisNorth-Holland1992294 p.23 cmStudies in proof theoryMonographs3Teoria della dimostrazione511.3Mints,Gregorii E.1433299ITUNINARICAUNIMARCBK991075380060332110 DO 210 TADONOTAMBURRINI210/23DINELDINELSelected papers in proof theory3580363UNINA