Collected Papers of Stig Kanger with Essays on his Life and Work Volume I (Synthese Library)
Contributors: Ghita Holmström-Hintikka (Editor); Sten Lindström (Editor); R. Sliwinski (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 1, 2001
Language: eng
Format: Paperback
Number of pages: 304
ISBN-13: 9781402000225
Subjects: Mathematical logic; Philosophy; Linguistics; Biography/Autobiography; Philosophers; Logic; Philosophy / Logic
First sentence: Assume modus ponens and the rule of substitution for propositional variables as rules of inference.