01312nam 2200373 450 00001362920050718115500.03-540-51842-820030522d1989----km-y0itay0103----baengDEProof theoryan introductionWolfram PohlersBerlin [etc.]Springerc1989VI, 213 p.25 cm.Lecture notes in mathematics14072001Lecture notes in mathematicsTeoria della dimostrazione511.3(21. ed.)Logica matematica (Logica simbolica)03FxxMathematical logic and foundations. Proof theory and constructive mathematicsPohlers,Wolfram56702ITUniversità della Basilicata - B.I.A.RICAunimarc000013629Proof theory81534UNIBASMONSCISCIENZEEXT0030120030522BAS01142420050601BAS011755batch0120050718BAS01105120050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT65958S659582003052251Riservati