The following pages link to (Q5219931):
Displaying 8 items.
- Extraction of expansion trees (Q670704) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- (Q3079693) (← links)
- (Q3384900) (← links)
- Unwinding a Non-effective Cut Elimination Proof (Q3434700) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705944) (← links)