£45.35

Cambridge University Press Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic

Price data last checked 84 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£45 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 7 days • 7 data points (No recent data available)

Historical
Generating forecast...
£45.45 £45.34 £45.36 £45.39 £45.41 £45.44 £45.46 11 March 2026 12 March 2026 14 March 2026 15 March 2026 17 March 2026

Price Distribution

Price distribution over 7 days • 1 price levels

Days at Price
7 days 0 2 4 5 7 £45 Days at Price

Price Analysis

Most common price: £45 (7 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 7 days

Description

Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
18 February 2010
Listed Since
15 February 2010

Barcode

No barcode data available

Similar Products You Might Like

Subsystems of Second Order Arithmetic (Perspectives in Logic)
99% match

Subsystems of Second Order Arithmetic (Perspectives in Logic)

Cambridge University Press

£147.00 17 Apr 2026
Numbers, Sets and Axioms: The Apparatus of Mathematics
96% match

Numbers, Sets and Axioms: The Apparatus of Mathematics

Cambridge University Press

£45.08 28 Feb 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
96% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£39.98 15 Feb 2026
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)
96% match

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

Oxford University Press

£43.18 18 Mar 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
96% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

£46.41 13 Jan 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 22 Feb 2026
Mathematical Logic with Special Reference to the Natural Numbers
95% match

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

£44.71 08 Mar 2026
Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)
95% match

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Springer

£46.02 16 Feb 2026
From Logic to Practice: Italian Studies in the Philosophy of Mathematics: 308 (Boston Studies in the Philosophy and History of Science, 308)
95% match

From Logic to Practice: Italian Studies in the Philosophy of Mathematics: 308 (Boston Studies in the Philosophy and History of Science, 308)

Springer

£43.70 06 Jan 2026
Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
95% match

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

CRC Press

£102.43 18 Feb 2026
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
95% match

Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Springer

£96.28 10 Feb 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
95% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)
95% match

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

Springer

£91.25 07 Jan 2026
Axiomatic Method and Category Theory: 364 (Synthese Library, 364)
95% match

Axiomatic Method and Category Theory: 364 (Synthese Library, 364)

Springer

£91.52 09 Dec 2025
Nonstandard Analysis: In Higher Education, Logic and Philosophy (De Gruyter STEM)
95% match

Nonstandard Analysis: In Higher Education, Logic and Philosophy (De Gruyter STEM)

£80.19 08 Jan 2026
A First Journey through Logic (Student Mathematical Library)
95% match

A First Journey through Logic (Student Mathematical Library)

£43.50 28 Feb 2026
Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)
95% match

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Cambridge University Press

£42.32 20 Jan 2026
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
95% match

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Springer

£40.84 07 Mar 2026
Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)
95% match

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Springer

£58.00 08 Mar 2026
Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)
95% match

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Paysages Mathématiques

£47.19 07 Mar 2026
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
95% match

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Springer

£38.39 20 Apr 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
95% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£43.24 24 Feb 2026
Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)
95% match

Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)

Springer

£41.58 07 Mar 2026
Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)
95% match

Universal Algebraic Logic: Dedicated to the Unity of Science (Studies in Universal Logic)

£90.85 13 Jan 2026