Collected Papers Of Stig Kanger With Essays On His Life And Work

By Ghita Holmström-Hintikka, R. Sliwinski, Stig Kanger, Sten Lindström

Kanger (1924-88) made important contributions to logic and formal philosophy, insisting that philosophical problems could be clarified and sometimes even solved, by means of exact logical and mathe...

Collected Papers Of Stig Kanger With Essays On His Life And Work

By Ghita Holmström-Hintikka, Stig Kanger, Rysiek Śliwiński, Sten Lindström

Collected Papers Of Stig Kanger With Essays On His Life And Work Volume II

By Ghita Holmström-Hintikka, R. Sliwinski, Stig Kanger, Sten Lindström, Ghita Holmstr M-Hintikka

Kanger (1924-88) made important contributions to logic and formal philosophy, insisting that philosophical problems could be clarified and sometimes even solved, by means of exact logical and mathe...

Logicism, Intuitionism, And Formalism: What Has Become Of Them? (Synthese Library (341))

By Sten Lindström, Sten Lindström, Erik Palmgren (Auth.), Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen (Eds.)

The Period In The Foundations Of Mathematics That Started In 1879 With The Publication Of Frege's Begriffsschrift And Ended In 1931 With Gödel's Über Formal Unentscheidbare Sätze Der Principia Math...

Modality Matters

By Henrik Lagerlund, Krister Segerberg, Rysiek Śliwiński, Sten Lindström

Edited By Henrik Lagerlund, Sten Lindström, And Rysiek Sliwinski. Includes Bibliographical References.

Epistemology Versus Ontology

By Erik Palmgren, P. Dybjer, Sten Lindström

Logicism, Intuitionism, And Formalism: What Has Become Of Them?

By Krister Segerberg, Erik Palmgren, Sten Lindström, Armen Takhtajan, Viggo Stoltenberg-Hansen, Sten Lindström, Erik Palmgren (Auth.), Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen (Eds.)

The period in the foundations of mathematics that started in 1879 with the publication of Frege's __Begriffsschrift__ and ended in 1931 with Gödel's __Über formal unentscheidbare Sätze der Principi...

Collected Papers Of Stig Kanger With Essays On His Life And Work

By R. Sliwinski, Sten Lindström, Ghita Holmström-Hintikka, Ghita HolmströmHintikka; ‎Sten Lindström; ‎R. Sliwinski, Ghita Holmström-Hintikka, Sten LindstrÖm, Rysiek Sliwinski (Auth.), Ghita Holmström-Hintikka, Sten Lindström, Rysiek Sliwinski (Eds.)

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation __Provability in Logic__, 1957, contained significant results in proof theory as well as t...

Collected Papers Of Stig Kanger With Essays On His Life And Work Volume II

By R. Sliwinski, Sten Lindström, Ghita Holmström-Hintikka, Krister Segerberg, Sören Halldén, Jan Berg (Auth.), Ghita Holmström-Hintikka, Sten Lindström, Rysiek Sliwinski (Eds.)

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deonti...

Epistemology Versus Ontology

By B.G. Sundholm, Erik Palmgren, P. Dybjer, Sten Lindström