Proof theory : the first step into impredicativity / Wolfram Pohlers.

By:

Material type: Text

TextSeries: UniversitextPublication details: Berlin : Springer, c2009.Description: xiii, 370 p. ; 22 cmISBN:

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	Collection	Call number	Status	Date due	Barcode
Books	H.T. Parekh Library	SIAS Collection	511.36 POH (Browse shelf(Opens below))	Available		K1071

TBH/SINV00482/15
Euro 59.99

Includes bibliographical references (p. 357-361) and index.

There are no comments on this title.

to post a comment.