Tools

LEADER 01486cam 2200421 a 4500

001 ocm27070235;

003 OCoLC;

005 20141212102256.0;

008 921116s1993 enka b 000 0 eng ;

010 a| 92041659;

015 a| GB93-28288;

019 a| 28333682;

020 a| 0198536909 (cloth) :c| $75.00;

020 a| 0820519650;

035 a| (Sirsi) o27070235;

035 a| (OCoLC)27070235;

049 a| EREE;

050 00 a| QA9.54b| .A75 1993;

082 00 a| 511.32| 20;

245 00 a| Arithmetic, proof theory, and computational complexity /c| edited by Peter Clote and Jan Krajíček.;

300 a| xii, 428 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Oxford science publications;

490 1 a| Oxford logic guides ;v| 23;

504 a| Includes bibliographical references.;

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

650 0 a| Computational complexity.=| ^A74807;

700 1 a| Clote, Peter.=| ^A320605;

700 1 a| Krajíček, Jan.=| ^A325676;

830 0 a| Oxford logic guides ;v| 23.=| ^A139801;

830 0 a| Oxford science publications.=| ^A13245;

596 a| 1;

998 a| 488544;

999 a| QA9.54 .A75 1993w| LCc| 1i| 30372007939413d| 1/31/2013l| JGESm| JOYNERp| $75.00q| 1r| Ys| Yt| JGESBKu| 10/22/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.

Other author	Clote, Peter.
Other author	Krajíček, Jan.
Format	Book
Publication Info	Oxford [England] : Clarendon Press ; New York : Oxford University Press, ©1993.
Description	xii, 428 pages : illustrations ; 25 cm.
Subjects	Proof theory. Computational complexity.

Series	Oxford science publications Oxford logic guides ; 23 Oxford logic guides ; 23. ^A139801 Oxford science publications. ^A13245
Bibliography note	Includes bibliographical references.
LCCN	92041659
ISBN	0198536909 (cloth) :
ISBN	0820519650

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.54 .A75 1993	✔ Available	Place Hold

Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.

Click here for more information about this title

Availability