Subsystems of second order arithmetic :: Stephen G. Simpson :: ISBN 9780521884396 :: Cambridge University Press 2009 :: OBNB, the Open British National Bibliography

Publication Data

Title Subsystems of second order arithmetic
Author Stephen G. Simpson
Contributor Association for Symbolic Logic
Publisher Cambridge University Press
Publication date 2009
Publication location Cambridge
Language English

Descriptive Notes

"Association for Symbolic Logic."

Topics

Predicate calculus

Catalogue Data

OBNB ID GBA906363
ISBN 10 052188439X
ISBN 13 9780521884396
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1008>2nd 2nd ed.
P1053 xvi, 444 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Subsystems of second order arithmetic by Stephen G. Simpson. ISBN 9780521884396. Published by Cambridge University Press in 2009. Publication and catalogue information, links to buy online and reader comments.