Skip to content
  • 2manybooks2mb
    • Find a book
    • 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

Social Issues, Geopolitics, and Judaica cover

Social Issues, Geopolitics, and Judaica

, ,

Spanish Made Simple: Revised and Updated cover

Spanish Made Simple: Revised and Updated

Kabbalah in Italy, 1280-1510 cover

Kabbalah in Italy, 1280-1510

Case by Case: Psychoanalysis and the Political cover

Case by Case: Psychoanalysis and the Political

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.

2mb v3.4.4

Company

AboutPressCareersPricingResources

Resources

APIBrowser ExtensionsDocumentationHelp centerDownload on iOSDownload on Android

Connect

Get in TouchInstagramTikTokProduct HuntThreads

Legal

Privacy PolicyTerms of ServiceAccessibility
© 2025–2026 2manybooks Inc.

All rights reserved. Book values, market data, and other information on the Platform are provided for general informational purposes only and are estimates, not appraisals, offers, insurance values, or financial, legal, or tax advice. Values may change based on market conditions, edition, provenance, condition, and other factors. Catalog data, metadata, AI-generated content, and other automated outputs may be incomplete, inaccurate, or out of date. Third-party listings and transactions are solely between buyers and sellers. Unless expressly stated otherwise, 2manybooks does not guarantee the authenticity, condition, availability, pricing, or delivery of any item. For an authoritative valuation, consult a qualified appraiser. Use of the Platform is subject to our Terms of Service and Privacy Policy.

  • 2manybooks2mb
    • Find a book
    • About
    • Log in
    • Register