00560nam a2200181Ia 4500082001900000100002100019245009300040260003400133300001400167490003900181500000500220690000600225700000500231952010100236964001700337921000900354999001500363  a511.3bL941.EG  aLuckhardt, Horst  aExtensional godel functional interpretation; a consistency proof of classical analysisb  aBerlinbSpringer-Verlagc1973  avi, 161p.  aLecture notes in Mathematicsv 306  a  a   a  00104070aISIbISId1998-09-07l0o511.3 L941.EGpDP14406r2019-02-14 00:00:00w2019-02-14yBK  abcdefg  a8775  c8775d8775