Title: Functional Interpretation of Logical Deduction
Subjects: Logic, symbolic and mathematical, Logic, Modality (Logic), Proof theory