Pages that link to "Item:Q5401630"
From MaRDI portal
The following pages link to Logic in the 1930s: type theory and model theory (Q5401630):
Displaying 7 items.
- Submodels in Carnap's early axiomatics revisited (Q488356) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- Frege and the origins of model theory in nineteenth century geometry (Q2695380) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S <i>GEOMETRY IN THE SENSIBLE WORLD</i> (Q6188336) (← links)
