01189nam a2200325 i 450099100088363970753620020507175204.0970709s1973 de ||| | eng 3540061193b10770690-39ule_instLE01303787ExLDip.to Matematicaeng511.3AMS 03E35Luckhardt, Horst59223Extensional Godel functional interpretation :a consistency proof of classical analysis /Horst LuckhardtBerlin ; New York :Springer-Verlag,1973vi, 161 p. ;26 cmLecture notes in mathematics,0075-8434 ;306Bibliography: p. 157-161Consistency resultsIndependence resultsIntuitionistic mathematicsProof theory.b1077069023-02-1728-06-02991000883639707536LE013 03E LUC11 (1973)12013000089065le013-E0.00-l- 01010.i1086911628-06-02Extensional Godel functional interpretation81511UNISALENTOle01301-01-97ma -engde 01