Pages that link to "Item:Q1202494"

The following pages link to On the development of the model-theoretic viewpoint in logical theory (Q1202494):

Displayed 15 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)
• 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)
• 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)