Gödel's Functional Interpretation in Context.- Part I: Axiomatic Intuitionist Logic.- Part II: The Functional Interpretation.- References.- Name Index.