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

Price loading...

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

Higher Education

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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: hardcover
ASIN: 0521882192
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
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

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

A First Course in Mathematical Logic and Set Theory

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

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

Logic for Mathematicians

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

Mathematical Logic through Python

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

Mathematical Logic: An Introduction (De Gruyter Textbook)

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

Logic for Applications (Texts in Computer Science)

Set Theory, Logic and their Limitations

A First Journey through Logic (Student Mathematical Library)

Mathematical Logic

Introduction to Mathematical Logic: Extended Edition

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Set Theory: A First Course (Cambridge Mathematical Textbooks)

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

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

Type Theory and Formal Proof: An Introduction

Mathematical Logic and Computation