Dr. Hermann Gundert Central Library catalog › Details for: Proof theory: the first step into impredicativity /

Normal view MARC view ISBD view

Proof theory: the first step into impredicativity /

Material type: Text

TextPublication details: New Delhi: Springer, 2009Description: 370pContained works: Pohlers,, WolframSubject(s): Proof theory | MathematicsDDC classification: 511.36

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Item type	Current library	Call number	Status	Date due	Barcode
BK	Kannur University Central Library	511.36 PHO/ (Browse shelf (Opens below))	Available		22362

Browsing Kannur University Central Library shelves Close shelf browser (Hides shelf browser)

Previous				No cover image available No cover image available	No cover image available No cover image available			Next
Previous	511.36 GUN/H Handbook of mathematical induction : theory and applications	511.36 KOH/ Applied Proof Theory: Proof Interpretations and their use in Mathematics /	511.36 MAD/T A transition to abstract mathematics : mathematical thinking and writing	511.36 PHO/ Proof theory: the first step into impredicativity /	511.4 MHA/ Fundamentals of approximation theory /	511.4 TRE/A Approximation theory and approximation practice	511.42 IPS/N Numerical matrix analysis : linear systems and least squares	Next

There are no comments on this title.

to post a comment.