00676nam0-22002291i-450-990001306760403321000130676FED01000130676(Aleph)000130676FED0100013067620000920d--------km-y0itay50------baengExtensional Godel functional interpretationA consistence proff of classical analysisby LUCKHARDT H.Luckhardt,Horst59223ITUNINARICAUNIMARCBK990001306760403321C-20-(30613151MA1MA1Extensional Godel functional interpretation81511UNINAING01