The following pages link to The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979):
Displaying 2 items.