Subsystems of second order arithmetic /

Subsystems of second order arithmetic /

Saved in:

Bibliographic Details
Author / Creator:	Simpson, Stephen G. (Stephen George), 1945-
Imprint:	Berlin ; New York : Springer Verlag, c1999.
Description:	xiv, 444 p. ; 24 cm.
Language:	English
Series:	Perspectives in mathematical logic.
Subject:	Predicate calculus. Predicate calculus.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/3560219

Hidden Bibliographic Details
ISBN:	3540648828 (hc. : alk. paper)
Notes:	Includes bibliographical references (p. [413]-424) and index.

Description
Summary:	An original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms, this book gives particular attention to several well known foundational programs including those by Hilbert, Bishop, and Weyl.
Physical Description:	xiv, 444 p. ; 24 cm.
Bibliography:	Includes bibliographical references (p. [413]-424) and index.
ISBN:	3540648828