Pages that link to "Item:Q1295443"

The following pages link to Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443):

Displaying 3 items.

• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
• Parikh and Wittgenstein (Q3299831) (← links)
• The Complexity of Propositional Proofs (Q5444711) (← links)