The Functional Interpretation Of Logical Deduction door Professor Dov M. Gabbay