Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Contributor(s): Kohlenbach, Ulrich., authorMaterial type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E(electronic)-Books	NISER LIBRARY	510, 23 (Browse shelf(Opens below))	Available		E1839

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	Next
Previous	510, 23 Historical Encyclopedia of Natural and Mathematical Sciences	510, 23 Multiple Integrals in the Calculus of Variations	510, 23 Optimal Stopping Rules	510, 23 Applied Proof Theory: Proof Interpretations and Their Use in Mathematics	510, 23 Proofs from THE BOOK	510, 23 Figuring It Out	510, 23 Differential Operators on Manifolds	Next

Mathematics and Statistics (Springer-11649)

There are no comments on this title.

to post a comment.