Pages that link to "Item:Q5813906"

The following pages link to The permutability of rules in the classical inferential calculus (Q5813906):

Displaying 1 item.

• Investigations into proof-search in a system of first-order dependent function types (Q6488534) (← links)