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. |
|---|