Papers tagged natural deduction ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS Propositions as Types Browse All Keywords By Category
