MPG.eBooks - Search Results - "mathematics logic and foundations"

Search alternatives:
"mathematics logic and foundations" » "mathematical logic and foundations"

Cover Image

1

Methods of Cut-Elimination

by Baaz, Matthias, Leitsch, Alexander
Published 2011

Springer Netherlands

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

Cover Image

2

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

by Baaz, Matthias
Published 2003

Springer Berlin Heidelberg

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

Cover Image

3

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

Published 2003

Springer Berlin Heidelberg

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