Pages that link to "Item:Q809994"
From MaRDI portal
The following pages link to Systems of combinatory logic related to Quine's `New Foundations' (Q809994):
Displaying 5 items.
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) (← links)
- OTTER experiments in a system of combinatory logic (Q1893130) (← links)
- Inception of Quine's ontology (Q3160444) (← links)
- Some results on combinators in the system TRC (Q4948544) (← links)
