Pages that link to "Item:Q1708876"
From MaRDI portal
The following pages link to Quine's conjecture on many-sorted logic (Q1708876):
Displaying 5 items.
- The Thomsen-Bachmann correspondence in metric geometry. I (Q669609) (← links)
- Converting untyped formulas to typed ones (Q1284693) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- ON MORITA EQUIVALENCE AND INTERPRETABILITY (Q5107539) (← links)
- How to count structure (Q6495241) (← links)