MPG.eBooks - Search Results - "Foundations"

Cover Image

1

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...”