00352nam a2200121Ia 4500082001900000100002100019245009300040260003400133300001400167490003900181500000500220700000500225  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