Pages that link to "Item:Q843609"

The following pages link to The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609):

Displaying 1 item.

• Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)