Collected Papers of Stig Kanger with Essays on his Life and Work : Vol. I /

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

Bibliographic Details

Main Author:	Holmström-Hintikka, Ghita
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lindström, Sten, Śliwiński, Rysiek
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2001.
Series:	Synthese library ; 303.
Subjects:	Philosophy (General) Logic. Philosophy of law. Electronic books.
Online Access:	Connect to the full text of this electronic book