Pages that link to "Item:Q929293"

The following pages link to Feasible operations on proofs: the logic of proofs for bounded arithmetic (Q929293):

Displaying 3 items.

• A modal provability logic of explicit and implicit proofs (Q636278) (← links)
• Arithmetical Completeness of the Intuitionistic Logic of Proofs (Q3094147) (← links)
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments (Q4829857) (← links)