Pages that link to "Item:Q1202494"
From MaRDI portal
The following pages link to On the development of the model-theoretic viewpoint in logical theory (Q1202494):
Displayed 25 items.
- Gödel on Tarski (Q598320) (← links)
- Why Euclid's geometry brooked no doubt: J. H. Lambert on certainty and the existence of models (Q833025) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412) (← links)
- Carnap's work in the foundations of logic and mathematics in a historical perspective (Q1313378) (← links)
- The role of universal language in the early work of Carnap and Tarski (Q1708748) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- In defense of logical universalism: taking issue with Jean van Heijenoort (Q1942101) (← links)
- Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics (Q1942102) (← links)
- Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics (Q2263041) (← links)
- Searches for the origins of the epistemological concept of model in mathematics (Q2357601) (← links)
- Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} (Q2515772) (← links)
- Frege and the origins of model theory in nineteenth century geometry (Q2695380) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- Frege, hilbert, and the conceptual structure of model theory (Q4312343) (← links)
- Aspekte der frege–hilbert-korrespondenz (Q4391353) (← links)
- Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited (Q4472744) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC (Q5037516) (← links)
- Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator (Q5350329) (← links)
- <i>LINGUA CHARACTERICA</i> AND <i>CALCULUS RATIOCINATOR</i>: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC (Q6153158) (← links)
- INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S <i>GEOMETRY IN THE SENSIBLE WORLD</i> (Q6188336) (← links)