Pages that link to "Item:Q3006121"
From MaRDI portal
The following pages link to Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations (Q3006121):
Displaying 5 items.
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- (Q3081829) (← links)
- Automating Leibniz’s Theory of Concepts (Q3454082) (← links)
- Double Value-Ranges (Q5116955) (← links)
- MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY (Q5221294) (← links)