Pages that link to "Item:Q5251187"

The following pages link to Natural Deduction for Equality: The Missing Entity (Q5251187):

Displaying 2 items.

• On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
• The Functional Interpretation of Direct Computations (Q5179008) (← links)