£71.00

World Scientific Publishing Company Introduction to Mathematical Logic: Extended Edition

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

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

Historical
Generating forecast...
£71.00 £67.45 £68.87 £70.29 £71.71 £73.13 £74.55 31 December 2025 14 January 2026 28 January 2026 11 February 2026 26 February 2026

Price Distribution

Price distribution over 58 days • 1 price levels

Days at Price
58 days 0 15 29 44 58 £71 Days at Price

Price Analysis

Most common price: £71 (58 days, 100.0%)

Price range: £71 - £71

Price levels: 1 different prices over 58 days

Description

Review of the First Edition: Many chapters start with some motivation, and as such make this text suitable for undergraduate philosophy students as well. - Zentralblatt MATH This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers propositional and first order logic - their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts. Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules - of a high, though often neglected, pedagogical value - aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers. An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic. This revised edition contains also, besides many new exercises, a new chapter on semantic paradoxes. An equivalence of logical and graphical representations allows us to see vicious circularity as the odd cycles in the graphical representation and can be used as a simple tool for diagnosing paradoxes in natural discourse.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 October 2016
Listed Since
16 October 2015

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£103.00 07 Mar 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

£53.96 11 Jan 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£41.89 17 Feb 2026
Modern Logic ― A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications: 149 (Synthese Library, 149)
97% match

Modern Logic ― A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications: 149 (Synthese Library, 149)

Springer

£160.39 08 Mar 2026
Modern Logic ― A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications: 149 (Synthese Library, 149)
97% match

Modern Logic ― A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications: 149 (Synthese Library, 149)

Springer

£164.73 11 Jan 2026
Logic with Trees: An Introduction to Symbolic Logic
97% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£42.95 15 Feb 2026
Logic with Trees: An Introduction to Symbolic Logic
97% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
97% match

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Springer

£107.43 10 Mar 2026
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
97% match

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

Springer

£40.84 07 Mar 2026
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
97% match

Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics

£199.30 06 Feb 2026
Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)
97% match

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

Springer

£38.39 20 Apr 2026
Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)
97% match

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Springer

£84.46 22 Feb 2026
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
97% match

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

£107.73 13 Apr 2026
Propositional Logics Third Edition
97% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
97% match

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

£105.00 26 Feb 2026
Mind Your Logic
97% match

Mind Your Logic

KENDALL HUNT PUBLISHING

£131.26 07 Jan 2026
S. Leśniewski’s Lecture Notes in Logic: 24 (Nijhoff International Philosophy Series, 24)
97% match

S. Leśniewski’s Lecture Notes in Logic: 24 (Nijhoff International Philosophy Series, 24)

Springer

£167.39 29 Jan 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
Routledge Logic Works - Introduction to Formal Logic Book
97% match

Routledge Logic Works - Introduction to Formal Logic Book

Routledge

£137.61 12 Apr 2026
Logic Works: A Rigorous Introduction to Formal Logic
97% match

Logic Works: A Rigorous Introduction to Formal Logic

Routledge

£52.99 08 Feb 2026
Logic for Mathematicians
97% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
97% match

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Springer

£100.88 14 Apr 2026