MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Dag Prawitz on Proofs and Meaning

Published 2015

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

The Logic of Information Structures

by Wansing, Heinrich
Published 1993

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

3

Recent Trends in Philosophical Logic

Published 2014

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

4

Nonclassical Logics and Information Processing : International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings

Published 1992

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Proof Theory of Modal Logic

Published 1996

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

6

Displaying Modal Logic

by Wansing, Heinrich
Published 1998

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

7

Truth and Falsehood : An Inquiry into Generalized Logical Values

by Shramko, Yaroslav, Wansing, Heinrich
Published 2012

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”

Cover Image

8

Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV

Published 2009

Springer Netherlands

Subjects: “...Mathematical Logic and Foundations...”