• Version
• Download 45
• File Size 242.05 KB
• File Count 1
• Create Date 8 June 2021
• Last Updated 8 June 2021

Proof terms for generalized classical natural deduction

Herman Geuvers and Tonny Hurkens