Oxford Mathematical Logic - Oxford Texts in Logic 3 Book - Image 1

£67.31

Oxford University Press Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

Name: Oxford Mathematical Logic - Oxford Texts in Logic 3 Book
Brand: Oxford University Press
Price: 67.31 GBP
Availability: InStock

Higher Education

Just dropped £4 this week. Amazon won't have told you.

£67 today · was £71 last week · was £70 last month

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 91 days · 91 data points

Historical

Generating forecast…

Price Distribution

Price distribution over 91 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £69-73 (58 days, 63.7%)

Price range: £55 - £73

Price levels: 5 price ranges over 91 days

Description

Master the fundamentals of mathematical logic with this rigorous text from Oxford University Press. Designed for students with no previous study in the subject, this book provides an informal yet structured approach to a standard undergraduate first course. It utilizes natural deduction to guide readers through complex concepts, leading up to the completeness theorem for first-order logic. Each stage of the text builds on mathematical intuition. You will learn how standard mathematical practices are developed into clean, formal mathematics. Beyond theoretical proofs, the text explores practical computational limits, explaining what can and cannot be calculated. For instance, you will discover how the correctness of a derivation proving a given sequent can be tested mechanically, while also understanding the boundaries of such processes. This makes it an essential resource for higher education students seeking a deep, practical understanding of logic.

Key Features

Designed for beginners with no prior study in logic, making it an ideal starting point for undergraduate students.

Uses a natural deduction approach to guide learners through a standard first course in mathematical logic.

Builds mathematical intuition by connecting standard practices to clean, formal mathematical developments.

Covers essential topics including the completeness theorem for first-order logic.

Provides practical insights into computational limits, exploring what can and cannot be calculated mechanically.

Part of the respected Oxford Texts in Logic series from Oxford University Press.

Product Specifications

Brand: Oxford University Press
Format: paperback
ASIN: 0199215626
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 17 May 2007
Listed Since: 13 December 2006

Barcode

No barcode data available

Oxford University Press Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

Just dropped £4 this week. Amazon won't have told you.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

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

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Mathematical Logic through Python

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

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

Logic with Trees: An Introduction to Symbolic Logic

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

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

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

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Introduction to Mathematical Logic: Extended Edition

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

Oxford University Press - Fragments of First-Order Logic

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

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Logic and Structure (Universitext)

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)