"Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis" - читать интересную книгу автора (Horst Luckhardt)