Pages that link to "Item:Q1353977"

The following pages link to The Kreisel length-of-proof problem (Q1353977):

Displaying 4 items.

• A unification algorithm for second-order monadic terms (Q1109019) (← links)
• A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
• \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
• The undecidability of proof search when equality is a logical connective (Q2134939) (← links)