Cover Image

Subsystems of second order arithmetic /

Bibliographic Details
Main Author: Simpson, Stephen G. (Stephen George), 1945-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1999]
Series:Perspectives in mathematical logic.
Subjects:
Predicate calculus.
Description
Physical Description:xiv, 444 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages [413]-424) and index.
ISBN:3540648828 (hc. : alk. paper)
ISSN:0172-6641