Pages that link to "Item:Q5285989"
From MaRDI portal
The following pages link to Set Theory and Nominalization, Part I (Q5285989):
Displaying 7 items.
- Nominalization and Scott's domains. II (Q1068077) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- A type free theory and collective/distributive predication (Q1903083) (← links)
- (Q3993471) (← links)
- Set Theory and Nominalization, Part II (Q5286912) (← links)