£61.99

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

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

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

Historical
Generating forecast...
£61.99 £58.89 £60.13 £61.37 £62.61 £63.85 £65.09 09 March 2026 22 March 2026 05 April 2026 19 April 2026 03 May 2026

Price Distribution

Price distribution over 56 days • 1 price levels

Days at Price
56 days 0 14 28 42 56 £62 Days at Price

Price Analysis

Most common price: £62 (56 days, 100.0%)

Price range: £62 - £62

Price levels: 1 different prices over 56 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. About the Author Felscher, Walter

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
05 September 2019
Listed Since
08 August 2019

Barcode

No barcode data available

Similar Products You Might Like

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
99% match

Logic of Arithmetic: 03 (Lectures on Mathematical Logic)

CRC Press

£102.43 18 Feb 2026
Cambridge Metamathematics of First-Order Arithmetic - Book 3
95% match

Cambridge Metamathematics of First-Order Arithmetic - Book 3

Cambridge University Press

£91.66 23 Apr 2026
Subsystems of Second Order Arithmetic (Perspectives in Logic)
95% 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
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
94% match

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

Springer

£96.28 10 Feb 2026
Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)
94% match

Theory of Logical Calculi: Basic Theory of Consequence Operations: 199 (Synthese Library, 199)

Springer

£212.92 09 Jan 2026
Classical Mathematical Logic – The Semantic Foundations of Logic
94% match

Classical Mathematical Logic – The Semantic Foundations of Logic

Princeton University Press

£52.06 07 May 2026
Arithmetic and Logic in Computer Systems (Wiley Series in Microwave and Optical Engineering)
94% match

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

Wiley

£88.89 03 Mar 2026
Topics in Modern Logic: 14 (Routledge Library Editions: Logic)
94% match

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

Routledge

£96.76 09 Mar 2026
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)
94% match

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

Routledge

£136.81 03 May 2026
Arithmetic
94% match

Arithmetic

Cambridge University Press

£31.85 02 May 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
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)
94% match

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)

Springer

£89.95 22 Apr 2026
Arithmetic for Teachers: With Applications and Topics from Geometry (amsns AMS non-series title)
94% match

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

£67.95 21 Feb 2026
Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)
94% match

Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)

Springer

£105.94 30 Apr 2026
Collected Papers of Charles Sanders Peirce, Volumes III and IV: Exact Logic (Published Papers) and The Simplest Mathematics
94% match

Collected Papers of Charles Sanders Peirce, Volumes III and IV: Exact Logic (Published Papers) and The Simplest Mathematics

Belknap Press

£170.42 23 Jan 2026
Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)
94% match

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

Routledge

£55.52 03 May 2026
Logic for Mathematicians
94% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
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
Computer Arithmetic - Volume I, Ii & Iii
94% match

Computer Arithmetic - Volume I, Ii & Iii

World Scientific Publishing Company

£167.82 07 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
Computer Arithmetic - Volume Ii: 2
94% match

Computer Arithmetic - Volume Ii: 2

World Scientific Publishing Company

£77.99 01 May 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
94% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£70.61 30 Apr 2026