Pages that link to "Item:Q5957851"

The following pages link to Logical problems of functional interpretations (Q5957851):

Displaying 2 items.

• A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
• Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)