MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Advances in Proof Theory

Published 2016

Springer International Publishing

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

Cover Image

2

Gentzen's Centenary : The Quest for Consistency

Published 2015

Springer International Publishing

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

Cover Image

3

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

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

Cover Image

4

The Legacy of Kurt Schütte

Published 2020

Springer International Publishing

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

Cover Image

5

Axiomatic Thinking I

Published 2022

Springer International Publishing

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

Cover Image

6

Axiomatic Thinking II

Published 2022

Springer International Publishing

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

Cover Image

7

Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

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

Cover Image

8

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

by Kahle, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

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