Pages that link to "Item:Q3322072"
From MaRDI portal
The following pages link to A one axiom set theory based on higher order predicate calculus (Q3322072):
Displayed 6 items.
- Arithmetic based on the Church numerals in illative combinatory logic (Q1115414) (← links)
- Set theory in predicate calculus with equality (Q3322073) (← links)
- Category theory based on combinatory logic (Q3335754) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic (Q4722038) (← links)
- Some generalizations to two systems of set theory based on combinatory logic (Q4726221) (← links)