Tools

LEADER 01983cam a22005174a 4500

001 ocn213479420;

003 OCoLC;

005 20141212010305.0;

008 080109s2008 gw b 001 0 eng ;

010 a| 2008920614;

020 a| 9783540775324 (alk. paper);

020 a| 3540775323 (alk. paper);

020 a| 9783540775331 (e-ISBN);

020 a| 3540775331 (e-ISBN);

029 1 a| OHXb| har085008529;

035 a| (Sirsi) o213479420;

035 a| (OCoLC)213479420;

049 a| EREE;

050 00 a| QA9.54b| .K64 2008;

082 00 a| 511.3/62| 22;

100 1 a| Kohlenbach, U.q| (Ulrich)=| ^A788934;

245 10 a| Applied proof theory :b| proof interpretations and their use in mathematics /c| U. Kohlenbach.;

300 a| xix, 532 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Springer monographs in mathematics,x| 1439-7382;

504 a| Includes bibliographical references (p. [507]-523) and index.;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Approximation theory.=| ^A16000;

650 0 a| Nonlinear operators.=| ^A56426;

650 0 a| Automatic theorem proving.=| ^A88007;

830 0 a| Springer monographs in mathematics.=| ^A474521;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| YBP Library Servicesb| YANKn| 2788850;

938 a| Baker and Taylorb| BTCPn| BK0007698930;

938 a| Baker & Taylorb| BKTYc| 99.00d| 99.00i| 3540775323n| 0007698930s| active;

938 a| Otto Harrassowitzb| HARRn| har085008529c| 119.22 USD;

938 a| Blackwell Book Serviceb| BBUSn| R4738988c| $99.00;

980 a| 2008-10-30b| 99d| 0e| 83.16f| 546044g| 30372013940702h| 40015968687i| QA 9.54 .K64 2008;

596 a| 1;

998 a| 1434707;

999 a| QA 9.54 .K64 2008w| LCc| 1i| 30372013940702d| 1/31/2013e| 11/12/2008l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 11/5/2008x| BOOKz| JSTACKSo| .STAFF. 0;

Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach.

Author/creator	Kohlenbach, U.
Format	Book
Publication Info	Berlin : Springer, ©2008.
Description	xix, 532 pages ; 24 cm.
Subjects	Proof theory. Approximation theory. Nonlinear operators. Automatic theorem proving.

Series	Springer monographs in mathematics, 1439-7382 Springer monographs in mathematics. ^A474521
Bibliography note	Includes bibliographical references (p. [507]-523) and index.
LCCN	2008920614
ISBN	9783540775324 (alk. paper)
ISBN	3540775323 (alk. paper)
ISBN	9783540775331 (e-ISBN)
ISBN	3540775331 (e-ISBN)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA 9.54 .K64 2008	✔ Available	Place Hold

Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach.

Click here for more information about this title

Availability