Normal view MARC view ISBD view

Proof theory Pohlers, Wolfram.

Material type: Text

TextPublication details: Berlin : Springer, 2009Description: xiii, 370 p.; 24 cmISBN:

9783540693185 (pbk.) | 3540693181 (pbk.) | 9783540693192 (e-ISBN) | 354069319X (e-ISBN)

Online resources:

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	Home library	Collection	Call number	Status	Barcode
Book	MATH-LiB General Stack	MATH-LiB	NFIC	511.36 P09 (Browse shelf(Opens below))	Available	191464

Total holds: 0

Previous			No cover image available	No cover image available	No cover image available			Next
Previous	511.35 N85 Recursion theory	511.352 P04 Computational complexity theory	511.352 P12 Computability theory	511.36 P09 Proof theory	511.4 N911 Iteration of rational functions :	511.4 N951 Approximation theory VIII	511.4 N951.2 Approximation theory VIII	Next

There are no comments on this title.

to post a comment.

MATH-LiB Online Catalogue