£42.95

Routledge Logic with Trees: An Introduction to Symbolic Logic

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

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£42.95 £40.75 £41.23 £41.71 £42.19 £42.67 £43.15 25 January 2026 30 January 2026 04 February 2026 09 February 2026 15 February 2026

Price Distribution

Price distribution over 22 days • 3 price levels

Days at Price
Current Price
1 day 9 days 12 days · current 0 3 6 9 12 £41 £42 £43 Days at Price

Price Analysis

Most common price: £43 (12 days, 54.5%)

Price range: £41 - £43

Price levels: 3 different prices over 22 days

Description

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their progress. Logic With Trees equips students with * a complete and clear account of the truth-tree system for first order logic * the importance of logic and its relevance to many different disciplines * the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic * the ability to contest claims that `ordinary' reasoning is well represented by formal first order logic The issues covered include a thorough discussion of truth-functional and full first order logic, using the truth-tree or semantic tableau approach. Completeness and Soundness proofs are given for both truth-functional and first order trees. Much use is made of induction, which is presented in a clear and consistent manner. There is also discussion of alternative deductive systems, an introduction to transfinite numbers and categoricity, the Lowenhein-Skolem theories and the celebrated findings of Godel and Church. The book concludes with an account of Kripke's attempted solution of the liar paradox and a discussion of the weakness of truth-functional account of conditionals. Particularly useful to those who favour critical accounts of formal reasoning, it will be of interest to students of philosophy at first level and beyond and also students of mathematics and computer science.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
27 February 1997
Listed Since
08 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Logic with Trees: An Introduction to Symbolic Logic
99% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026
Symbolic Logic (Palgrave Philosophy Today)
94% match

Symbolic Logic (Palgrave Philosophy Today)

MACMILLAN

£45.44 07 Mar 2026
Routledge Logic Works - Introduction to Formal Logic Book
94% match

Routledge Logic Works - Introduction to Formal Logic Book

Routledge

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

Logic Works: A Rigorous Introduction to Formal Logic

Routledge

£52.99 08 Feb 2026
Logic: The Laws of Truth
94% match

Logic: The Laws of Truth

Princeton University Press

£36.82 25 Jan 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
93% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£128.72 15 Apr 2026
Logic for Applications (Texts in Computer Science)
93% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Introduction to Mathematical Logic: Extended Edition
93% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 26 Feb 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
93% match

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

North Holland

£49.99 22 Feb 2026
Propositional Logics Third Edition
93% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 2026
Introduction to Logic
93% match

Introduction to Logic

Routledge

£129.92 13 Jan 2026
Logic for Mathematicians
93% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Mathematical Logic: An Introduction (De Gruyter Textbook)
93% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 2026
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles
93% match

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

£84.63 10 Jan 2026
First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)
93% match

First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)

Springer

£40.31 09 Feb 2026
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
93% 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
Logic: The Basics
93% match

Logic: The Basics

Routledge

£95.42 02 Apr 2026
Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)
93% match

Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)

Routledge

£44.04 07 Mar 2026
Introducing Symbolic Logic
93% match

Introducing Symbolic Logic

Broadview Press Inc

£44.05 19 Apr 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
92% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
Introduction to Logic and Logical Discourse
92% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
Introduction to Logic and Logical Discourse
92% match

Introduction to Logic and Logical Discourse

Springer

£89.88 25 Feb 2026
Introduction to Logic
92% match

Introduction to Logic

Routledge

£100.92 23 Jan 2026
Studies and Exercises in Formal Logic (Languages and Linguistics)
92% match

Studies and Exercises in Formal Logic (Languages and Linguistics)

£105.37 31 Jan 2026