Subsystems of second-order arithmetic
By: Stephen G. Simpson.
Contributors: Shore, Richard A., 1946-
Edition: 2nd ed. / Richard Shore.
Series: Perspectives in logic -- 1
Publisher: Cambridge University Press
Published: 2009
Place of publication: Cambridge; New York
Language: eng
ISBN-13: 9780521884396
Subjects: Predicate calculus
Notes: Includes bibliographical references and index.