Ruy J. Queiroz

• Functional Interpretation of Logical Deduction