Pages that link to "Item:Q1577482"

The following pages link to Reduction of finite and infinite derivations (Q1577482):

Displaying 2 items.

• Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
• A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)