Image from Google Jackets
Image from OpenLibrary

Applied proof theory proof interpretations and thier use in mathematics Ulrich Kohlenbach

By: Contributor(s): Material type: TextTextSeries: Publication details: Springer-Verlag, Berlin 2008Edition: Description: Subject(s): DDC classification:
  • R 512.7 KOH-A
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Status Date due Barcode
Book Book Dept. of Mathematics Processing Center Dept. of Mathematics R 512.7 KOH-A (Browse shelf(Opens below)) Available MAT5848

There are no comments on this title.

to post a comment.