Pages that link to "Item:Q1275625"

The following pages link to Permutability of proofs in intuitionistic sequent calculi (Q1275625):

Displaying 1 item.

• A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293) (← links)