Papers tagged proof theory On Proof and Progress in Mathematics On the Meanings of the Logical Constants and the Justifications of the Logical Laws Propositions as Types Browse All Keywords By Category
