The Mathematics of Logic: A Guide to Completeness Theorems and their Applications - Image 1

£38.26

Cambridge University Press The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Name: The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Brand: Cambridge University Press
Price: 33.67 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 91 days • 91 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 91 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £40 (66 days, 72.5%)

Price range: £34 - £40

Price levels: 6 different prices over 91 days

Description

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 052170877X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 12 July 2007
Listed Since: 16 February 2007

Barcode

No barcode data available

Cambridge University Press The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Algorithmic Graph Theory

Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Mathematics (Routledge Studies in the Philosophy of Mathematics and Physics)

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

A Second Course on Real Functions

Elements of Mathematics: A Problem-Centered Approach to History and Foundations (Undergraduate Texts in Mathematics)

Introduction to Finite Fields and their Applications

Finite Geometry and Combinatorial Applications: 82 (London Mathematical Society Student Texts, Series Number 82)

Introduction to Algebraic Geometry

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

A Guided Tour of Mathematical Methods for the Physical Sciences

Categories for Types (Studies in Emotion and Social Interaction)

Matroid Applications: 40 (Encyclopedia of Mathematics and its Applications, Series Number 40)

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

Open Problems in Mathematics and Computational Science

Computational Semantics with Functional Programming

Computation, Proof, Machine: Mathematics Enters a New Age

Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Ordered Sets: An Introduction with Connections from Combinatorics to Topology

Probability and Forensic Evidence: Theory, Philosophy, and Applications

Computational Models of Conditioning

Cognitive Linguistics (Cambridge Textbooks in Linguistics)

Possibilities And Paradox: An Introduction To Modal And Many-Valued Logic