Collected Papers of Stig Kanger with Essays on his Life and Work edited by Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski.
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 ac...
Full description
Saved in:
Bibliographic Details
Corporate Author: |
SpringerLink (Online service) |
Other Authors: |
Holmström-Hintikka, Ghita
(Editor),
Lindström, Sten
(Editor),
Sliwinski, R.
(Editor) |
Format: | eBook
|
Language: | English |
Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2001.
|
Edition: | 1st ed. 2001. |
Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
303
Springer eBook Collection.
|
Subjects: | |
Online Access: | Click to view e-book
|
Holy Cross Note: | Loaded electronically. Electronic access restricted to members of the Holy Cross Community. |