"Extensional Godel Functional Interpretation" - читать интересную книгу автора (Horst Luckhardt)