विद्यार्जन संसाधन केंद्र, भारतीय प्रौद्योगिकी संस्थान इन्दौर
Learning Resource Center, Indian Institute of Technology Indore

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)

Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Applied proof theory : Proof interpretations and their use in mathematics

By:

Kohlenbach,Ulrich

Material type: Text

Text

TextPublication details: NewYork Springer 2008Description: xix,532p. ; 24 cmISBN:

9783540775324

Subject(s):

Mathematics

DDC classification:

511.36 KOH

Average rating: 0.0 (0 votes)

Holdings ( 1 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	LRC, IIT Indore 3rd Floor - Reference Collection	Reference	511.36 KOH (Browse shelf(Opens below))	Not For Loan		11845

Total holds: 0

Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - Reference Collection, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.326 ABR Handbook of mathematical functions with formulas, graphs and mathematical tables	511.326 ILI Universal spaces and mappings (Mathematics studies ; 198)	511.35 END Computability theory: an introduction to the recursion theory	511.36 KOH Applied proof theory : Proof interpretations and their use in mathematics	511.36 MAD Transition to abstract mathematics : Learning mathematical thinking and writing	511.4 ABR&V.4 Foundations of Computational Intelligence Volume 4 : Bio-Inspired Data Mining	511.4 GAL Shape preserving approximation by real and complex polynomials	Next

Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:

Copyright © 2024, 2021, 2017 Indian Institute of Technology Indore. All Rights Reserved.

Managed & maintained by Learning Resource Center, IIT Indore

Powered by Koha