The following pages link to A theory of properties (Q3765745):
Displayed 4 items.
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Nominalization, predication and type containment (Q1314276) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Theorem proving for intensional logic (Q1891256) (← links)