Dag Prawitz on Proofs and Meaning (Outstanding Contributions to Logic)
by Heinrich Wansing
ISBN 13: 9783319360317
Format: Paperback (472 pages) Publisher: Springer Published: 22 Sep 2016
Save for later
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings: 619 (Lecture Notes in Computer Science)
by David Pearce, Heinrich Wansing
ISBN 13: 9783540557456
Format: Paperback (184 pages) Publisher: Springer Published: 13 Jun 2008
The Logic of Information Structures: 681 (Lecture Notes in Computer Science)
ISBN 13: 9783540567349
Format: Paperback (180 pages) Publisher: Springer Published: 13 Jun 2008
Displaying Modal Logic (Trends in Logic): 3
ISBN 13: 9789048150793
Format: Paperback (268 pages) Publisher: Springer Published: 05 Dec 2010
Proof Theory of Modal Logic: 2 (Applied Logic Series)
ISBN 13: 9789048147205
Format: Paperback (332 pages) Publisher: Springer Published: 04 Oct 2013