00905nam0-2200313---450-99000912561040332120101005193539.0000912561FED01000912561(Aleph)000912561FED0100091256120091209d1973----km-y0itay50------baengDEa---a---001yyExtensional gödel functional interpretationHorst LuckhardtBerlin [etc.]Springer- Verlagc1973vi, 161 p.ill.25 cm.Lecture notes in mathematics306Analisi funzionaleAlgebre astratteLuckhardt,Horst59223ITUNINARICAUNIMARCBK99000912561040332114A-215F.D. 398FI1FI1Extensional Godel functional interpretation81511UNINA