Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Subsystems of Second Order ArithmeticSubsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

Stephen G. Simpson

About this book

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Details

OL Work ID
OL19904846W

Subjects

Predicate calculus

Find this book

HardcoverOpen Library
Book data from Open Library. Cover images courtesy of Open Library.