Pages that link to "Item:Q3309804"
From MaRDI portal
The following pages link to Predicate calculus of arbitrarily high finite order (Q3309804):
Displaying 3 items.
- A one axiom set theory based on higher order predicate calculus (Q3322072) (← links)
- Meeting of the Association for Symbolic Logic, Melbourne, Australia, 1979 (Q3902979) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
