01428nam 2200373 450 00001359920050718115500.03-540-06119-320030522d1973----km-y0itay0103----baengDEExtensional Godel functional interpretationa consistency proof of classical analysis.Horst LuckhardtBerlin [etc.]Springer1973VI, 161 p.26 cm.Lecture notes in mathematics3062001Lecture notes in mathematicsTeoria della dimostrazione511.3(21. ed.)Logica matematica (Logica simbolica)03F10Mathematical logic and foundations. Proof theory and constructive mathematics. Functionals in proof theoryLuckhardt,Horst59223ITUniversità della Basilicata - B.I.A.RICAunimarc000013599Extensional Godel functional interpretation81511UNIBASMONSCISCIENZEEXT0020120030522BAS01095120050601BAS011755batch0120050718BAS01105120050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31510S315102003052251Riservati