MATH-LiB Online Catalogue

Mathematics Information Resource Centre, Department of Mathematics, IISc, Bangalore.

Applied proof theory :

Applied proof theory : Kohlenbach, U. - Berlin : Springer, 2008 - xix, 532 p. ; 24 cm.

9783540775324 (alk. paper) | 9783540775331 (e-ISBN)