Pages that link to "Item:Q2254570"

The following pages link to The institution-theoretic scope of logic theorems (Q2254570):

Displaying 2 items.

• Generalised graded interpolation (Q2105608) (← links)
• Abstract Beth definability in institutions (Q3410686) (← links)