£147.00

Cambridge University Press Subsystems of Second Order Arithmetic (Perspectives in Logic)

Price data last checked 54 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.

£147 today · cheaper than every other day in the last 2 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 20 days • 20 data points (No recent data available)

Historical
Generating forecast...
£147.00 £139.65 £142.59 £145.53 £148.47 £151.41 £154.35 29 March 2026 02 April 2026 07 April 2026 12 April 2026 17 April 2026

Price Distribution

Price distribution over 20 days • 1 price levels

Days at Price
20 days 0 5 10 15 20 £147 Days at Price

Price Analysis

Most common price: £147 (20 days, 100.0%)

Price range: £147 - £147

Price levels: 1 different prices over 20 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
hardcover
Domain
Amazon UK
Release Date
29 May 2009
Listed Since
19 November 2008

Barcode

No barcode data available

Similar Products You Might Like

Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic
99% match

Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic

Cambridge University Press

£45.35 17 Mar 2026
Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
96% match

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

CRC Press

£102.43 18 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
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
95% match

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

£46.41 13 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
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
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
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
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)
95% match

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

Oxford University Press

£43.18 18 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

£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

£46.02 16 Feb 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
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
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
95% match

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Wiley

£133.99 10 Apr 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
95% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 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)

£76.68 15 Dec 2025
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
Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
95% match

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Springer

£151.55 14 Jan 2026
Routledge Origins and Varieties of Logicism - Philosophy Book
95% match

Routledge Origins and Varieties of Logicism - Philosophy Book

Routledge

£137.61 20 Apr 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
95% match

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

North Holland

£49.99 22 Feb 2026
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)
95% match

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Springer

£138.36 09 Mar 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
95% match

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

£84.63 10 Jan 2026