The following pages link to (Q4831099):
Displayed 22 items.
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- Arrow's theorem for incomplete relations (Q406455) (← links)
- The relativity and universality of logic (Q514548) (← links)
- Decay of the triumvirate (Q515221) (← links)
- Emigration of mathematicians from outside German-speaking academia 1933-1963, supported by the society for the protection of science and learning (Q656712) (← links)
- Aristotle's prototype rule-based underlying logic (Q1653547) (← links)
- Carnapian and Tarskian semantics (Q1708755) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- On rereading van Heijenoort's selected essays (Q1942099) (← links)
- In defense of logical universalism: taking issue with Jean van Heijenoort (Q1942101) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)
- Alfred Tarski (1901–1983) (Q4611680) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- Ontology of Logic and Mathematics in Lvov-Warsaw School (Q4611697) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- The Lvov-Warsaw School: A True Mythology (Q4611708) (← links)
- Mathematics and Logic in Polish Encyclopedias Published During the Interwar Period (Q5050049) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- From Logic to Computer Science – A Personal Experience (Q5245311) (← links)
- Logical Autobiography 50 (Q5350325) (← links)