£102.43

CRC Press Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£102 today · usual range £0–£0 · best ever £91

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 619 days • 619 data points (No recent data available)

Historical
Generating forecast...
£102.84 £89.82 £92.66 £95.50 £98.34 £101.18 £104.02 10 June 2024 11 November 2024 15 April 2025 16 September 2025 18 February 2026

Price Distribution

Price distribution over 619 days • 5 price levels

Days at Price
Current Price
34 days 17 days 236 days 300 days · current 32 days · current 0 75 150 225 300 £91 £94 £98 £102 £103 Days at Price

Price Analysis

Most common price: £102 (300 days, 48.5%)

Price range: £91 - £103

Price levels: 5 different prices over 619 days

Description

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
30 May 2000
Listed Since
05 February 2007

Barcode

No barcode data available

Similar Products You Might Like

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

Subsystems of Second Order Arithmetic (Perspectives in Logic)

Cambridge University Press

£147.00 17 Apr 2026
Predicative Arithmetic. (MN–32) (Princeton Legacy Library)
95% match

Predicative Arithmetic. (MN–32) (Princeton Legacy Library)

Princeton University Press

£68.00 27 Mar 2026
Subsystems of Second Order Arithmetic: Second Edition: Perspectives in Logic
95% match

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

Cambridge University Press

£45.35 17 Mar 2026
Arithmetic and Logic in Computer Systems (Wiley Series in Microwave and Optical Engineering)
95% match

Arithmetic and Logic in Computer Systems (Wiley Series in Microwave and Optical Engineering)

Wiley

£88.89 03 Mar 2026
Arithmetic for Teachers: With Applications and Topics from Geometry (amsns AMS non-series title)
95% match

Arithmetic for Teachers: With Applications and Topics from Geometry (amsns AMS non-series title)

£67.95 21 Feb 2026
Computer Arithmetic - Volume I, Ii & Iii
95% match

Computer Arithmetic - Volume I, Ii & Iii

World Scientific Publishing Company

£167.82 07 Jan 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
Reason'sNearest Kin: Philosophies of Arithmetic from Kant to Carnap
95% match

Reason'sNearest Kin: Philosophies of Arithmetic from Kant to Carnap

Oxford University Press

£58.80 11 Feb 2026
KS2 Year 6 Maths 10-Minute Weekly Workouts: Arithmetic: great for SATS practice (CGP Year 6 Maths)
94% match

KS2 Year 6 Maths 10-Minute Weekly Workouts: Arithmetic: great for SATS practice (CGP Year 6 Maths)

Coordination Group Publications Ltd (CGP)

£6.07 07 Feb 2026
Digital Arithmetic
94% match

Digital Arithmetic

Morgan Kaufmann

£79.00 31 Jan 2026
Analysis of Arithmetic for Mathematics Teaching
94% match

Analysis of Arithmetic for Mathematics Teaching

Routledge

£30.00 31 Jan 2026
Mathematical Logic with Special Reference to the Natural Numbers
94% match

Mathematical Logic with Special Reference to the Natural Numbers

Cambridge University Press

£44.71 08 Mar 2026
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era
94% match

Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

£117.45 13 Dec 2025
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
94% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£65.47 13 Jan 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
94% match

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

£85.48 18 Mar 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
94% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£162.88 11 Jan 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
94% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 27 Feb 2026
Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)
94% match

Volume 5. Algebraic and Logical Structures: Volume 5: Logic and Algebraic Methods (Handbook of Logic in Computer Science)

Oxford University Press

£402.35 08 Jan 2026
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)
94% match

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)

Springer

£108.75 10 Jan 2026
Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)
94% match

Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)

Springer

£75.84 08 Mar 2026
Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)
94% match

Advanced Łukasiewicz calculus and MV-algebras: 35 (Trends in Logic, 35)

Springer

£75.02 29 Jan 2026
Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)
94% match

Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Oxford University Press

£168.26 12 Jan 2026
A General Algebraic Semantics for Sentential Logics: 7 (Lecture Notes in Logic, Series Number 7)
94% match

A General Algebraic Semantics for Sentential Logics: 7 (Lecture Notes in Logic, Series Number 7)

Cambridge University Press

£95.00 09 Mar 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
94% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026