MPG.eBooks - Search Results - "Mathematics"

Cover Image

1

Methods of Cut-Elimination

by Baaz, Matthias, Leitsch, Alexander
Published 2011

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

2

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

3

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”