Skip to content
  • 2manybooks
    • Find books
    • About
    • Log in
    • Register

Reverse Mathematics: Proofs from the Inside Out

Stephen G. Simpson • Princeton University Press • ISBN-13 978-0691177175

Reverse Mathematics: Proofs from the Inside Out cover

Reverse Mathematics: Proofs from the Inside Out

Stephen G. Simpson • Princeton University Press

ISBN-10: 0691177171 · ISBN-13: 978-0691177175 · 2017 · 1st Edition

Canonical book record

Completeness 70

Cover quality: low resolution

Description

Reverse Mathematics: Proofs from the Inside Out explores the field of reverse mathematics, a branch of mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The book provides an accessible introduction to the subject, offering insights into the logical structure of mathematical proofs.

Book metadata

Publisher: Princeton University Press
Paperback1st Edition2018
Pages: 240Language: EnglishPaper finish: Matte

Catalog notes

Contributor: Stephen G. Simpson

Cultural context

Category: Axiomatic SystemsCategory: Foundations Of MathematicsCategory: Mathematical LogicCategory: Proof TheoryCategory: TheoryInfluenced by: Kurt Gu00f6delInfluenced by: David HilbertInfluenced by: Alfred TarskiInfluenced by: Stephen Cole KleeneInfluenced: Contemporary LogiciansInfluenced: Mathematics EducatorsInfluenced: Philosophers of MathematicsInfluenced: Theoretical Computer ScientistsCornerstone of: Reverse Mathematics

Community signals

Have: 12 • Like: 0 • Avg Rating: 4.1 / 5 • Ratings: 644

Estimated value

Low

$26

Fair

$26

High

$26

Community comments

0 likes • 0 comments

Log in to like this book and join the discussion.

Loading comments…

Editions and similar books

This page is the canonical hub for edition variants, ISBN mapping, and recommendation bridges.

How Ancient Europeans Saw the World: Vision, Patterns, and the Shaping of the Mind in Prehistoric Times cover

How Ancient Europeans Saw the World: Vision, Patterns, and the Shaping of the Mind in Prehistoric Times

Kabbalah in Italy, 1280-1510 cover

Kabbalah in Italy, 1280-1510

Social Issues, Geopolitics, and Judaica cover

Social Issues, Geopolitics, and Judaica

,

Case by Case: Psychoanalysis and the Political cover

Case by Case: Psychoanalysis and the Political

Spanish Made Simple: Revised and Updated cover

Spanish Made Simple: Revised and Updated

Kinship by Covenant cover

Kinship by Covenant

A Short History of War cover

A Short History of War

The Humanist Comedy cover

The Humanist Comedy

Suggest catalog improvements

Log in to submit metadata updates for this book.

Company

AboutPressCareersPricingResources

Resources

APIBrowser ExtensionsDocumentationHelp center

Connect

Get in TouchInstagramTikTokProduct HuntThreads
App StoreGoogle Play
© 2026 2manybooks Inc.PrivacyTerms2mb v3.4.4

© 2026 2manybooks. All rights reserved. All book values provided are estimates only and are intended for general informational purposes. Such values may vary based on market conditions, item condition, provenance, and other factors, and should not be relied upon as definitive or current valuations. No representation or warranty, express or implied, is made regarding the accuracy or completeness of these estimates. For an accurate, current, and authoritative valuation, users should consult a qualified professional appraiser.

  • 2manybooks
    • Find books
    • About
    • Log in
    • Register