Buy Used and New UlrichKohlenbach Books

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Logic Colloquium 2007 (Lecture Notes in Logic)

by

ISBN 13: 9780521760652

Format: Hardcover (282 pages)
Publisher: Cambridge University Press
Published: 07 Jun 2010

Save for later