01039nam a22002655i 4500991002185509707536cr nn 008mamaa121227s1973 gw | s |||| 0|eng d9783540382836b14134615-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng51023Luckhardt, Horst59223Extensional Gödel functional interpretation[e-book] :a consistency proof of classical analysis /by Horst LuckhardtBerlin :Springer,19731 online resource (161 p.)Lecture Notes in Mathematics,0075-8434 ;306MathematicsSpringer eBookshttp://dx.doi.org/10.1007/BFb0060871An electronic book accessible through the World Wide Web.b1413461503-03-2205-09-13991002185509707536Extensional Godel functional interpretation81511UNISALENTOle01305-09-13m@ -enggw 00