Sten Lindström – författare
Visar alla böcker från författaren Sten Lindström. Handla med fri frakt och snabb leverans.
9 produkter
Collected Papers of Stig Kanger with Essays on his Life and Work
Av Ghita Holmström-Hintikka, Sten Lindström m. fl.
Inbunden, 2001
1098 kr
Lägg i varukorg
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 the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally …
Collected Papers of Stig Kanger with Essays on his Life and Work
Av Ghita Holmström-Hintikka, Sten Lindström m. fl.
Häftad, 2001
1098 kr
Lägg i varukorg
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 the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally …
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Av Ghita Holmström-Hintikka, Sten Lindström m. fl.
Inbunden, 2001
1098 kr
Lägg i varukorg
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 deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action …
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Av Ghita Holmström-Hintikka, Sten Lindström m. fl.
Häftad, 2001
1098 kr
Lägg i varukorg
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 deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action …
Logicism, Intuitionism, and Formalism
What Has Become of Them?
Av Sten Lindström, Erik Palmgren m. fl.
Inbunden, 2008
3059 kr
Lägg i varukorg
The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics". The rst conference concerned the three major …
Logicism, Intuitionism, and Formalism
What Has Become of Them?
Av Sten Lindström, Erik Palmgren m. fl.
Häftad, 2010
3061 kr
Lägg i varukorg
The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics". The rst conference concerned the three major …
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Av P. Dybjer, Sten Lindström m. fl.
Inbunden, 2012
2188 kr
Lägg i varukorg
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and …
Logic, Action and Cognition
Essays in Philosophical Logic
Av Eva Ejerhed, Sten Lindström
Häftad, 2012
551 kr
Lägg i varukorg
The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called …
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Av P. Dybjer, Sten Lindström m. fl.
Häftad, 2014
2188 kr
Lägg i varukorg
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and …
