Tools

LEADER 01230cam 2200349 a 4500

001 ocm39860098;

003 OCoLC;

005 20141212130827.0;

008 980901s1999 gw b 001 0 eng ;

010 a| 98043371;

020 a| 3540648828 (hc. : alk. paper);

035 a| (Sirsi) o39860098;

035 a| (OCoLC)39860098;

049 a| EREE;

050 00 a| QA9.7b| .S537 1999;

082 00 a| 511.32| 21;

100 1 a| Simpson, Stephen G.q| (Stephen George),d| 1945-=| ^A408507;

245 10 a| Subsystems of second order arithmetic /c| Stephen G. Simpson.;

300 a| xiv, 444 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Perspectives in mathematical logic,x| 0172-6641;

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

650 0 a| Predicate calculus.=| ^A30206;

830 0 a| Perspectives in mathematical logic.=| ^A245279;

994 a| E0b| ERE;

596 a| 1;

998 a| 643100;

999 a| QA9.7 .S537 1999w| LCc| 1i| 30372010264379d| 4/1/2003e| 3/21/2003l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 11/16/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Subsystems of second order arithmetic / Stephen G. Simpson.

Author/creator	Simpson, Stephen G., 1945-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	xiv, 444 pages ; 25 cm.
Subjects	Predicate calculus.

Series	Perspectives in mathematical logic, 0172-6641 Perspectives in mathematical logic. ^A245279
Bibliography note	Includes bibliographical references (p. [413]-424) and index.
LCCN	98043371
ISBN	3540648828 (hc. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.7 .S537 1999	✔ Available	Place Hold

Subsystems of second order arithmetic / Stephen G. Simpson.

Click here for more information about this title

Availability