Papers tagged intuitionistic logic

• ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS
• Propositions as Types

• Browse
• All Keywords
• By Category