Pages that link to "Item:Q5892381"

The following pages link to On the Mints Hierarchy in First-Order Intuitionistic Logic (Q5892381):

Displaying 2 items.

• First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
• Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)