Pages that link to "Item:Q2478554"

The following pages link to Cut elimination for a simple formulation of epsilon calculus (Q2478554):

Displaying 1 item.

• Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)