Pages that link to "Item:Q3260562"
From MaRDI portal
The following pages link to Model Theory for the Higher Order Predicate Calculus (Q3260562):
Displayed 5 items.
- When are different type-logical semantic definitions defining equivalent meanings? (Q439958) (← links)
- The semantic view of theories and higher-order languages (Q2052159) (← links)
- Essence and necessity (Q2144211) (← links)
- A relational formulation of the theory of types (Q3824291) (← links)
- (Q5544276) (← links)