Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)

Subsystems of second order arithmetic / Stephen G. Simpson.

2nd ed.

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 9780521884396
Title: Subsystems of second order arithmetic / Stephen G. Simpson.
Edition: 2nd ed.
Series Title: Perspectives in logic
Author Heading: Simpson, Stephen G. (Stephen George) , 1945-
Association for Symbolic Logic.
Publication, Distribution, etc.: Cambridge : Cambridge University Press
New York : Cambridge University Press
Publication Date: 2009.
Publication Date (W3CDTF): 2009
Extent: xvi, 444 p. : ill. ; 25 cm.
Place of Publication (Country Code): GB
Text Language Code: eng
Subject Heading: Predicate calculus.
Mathematische Logik.
Mathematik.
Grundlage.
LCC: QA9.7
DDC: 511.3
NDLC: MA41
Note (General): "Association for Symbolic Logic."
Note (Bibliography): Includes bibliographical references and index.
Holding library: 国立国会図書館
Call No.: MA41-B25
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010824831
http://id.ndl.go.jp/bib/000010824831
LC Control Number: 2008052364
https://lccn.loc.gov/2008052364
OCLC No.: 288374692
https://www.worldcat.org/oclc/288374692
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 211