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

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: Springer-Verlag, Berlin 2008Edition: Description: Subject(s):

DDC classification:

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	Dept. of Mathematics Processing Center	Dept. of Mathematics	R 512.7 KOH-A (Browse shelf(Opens below))	Available		MAT5848

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	R 512.7 CID-A Algebraic aspects of the advanced encryption standard	R 512.7 DEN-E Elements of the theory of numbers	R 512.7 EDG-F First course in number theory	R 512.7 KOH-A Applied proof theory proof interpretations and thier use in mathematics	R 512.7 KRA-I Introduction to number theory with cryptography	R 512.7 LEV-D Discovering higher mathematics	R 512.7 LIU-G Grey information	Next

There are no comments on this title.

to post a comment.