01481nam 2200385 450 00001353320050718115500.03-540-05541-X20030520d1971----km-y0itay0103----baengDEProof theory and intuitionistic systemsBruno ScarpelliniBerlin [etc.]Springer1971VII, 390 p.26 cm.Lecture notes in mathematics2122001Lecture notes in mathematicsTeoria della dimostrazione511.3(21. ed.)Logica matematica (Logica simbolica)03FxxMathematical logic and foundations. Proof theory and constructive mathematics03F55Mathematical logic and foundations. Proof theory and constructive mathematics. Intuitionistic mathematicsScarpellini,Bruno50397ITUniversità della Basilicata - B.I.A.RICAunimarc000013533Proof theory and intuitionistic systems81444UNIBASMONSCISCIENZEEXT0020120030520BAS01143020050601BAS011755batch0120050718BAS01105120050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31416S314162003052151Riservati