Pages that link to "Item:Q877883"

The following pages link to A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883):

Displaying 2 items.

• \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
• A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)