scientific article; zbMATH DE number 2123604

Publication date: 21 December 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Items

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