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

Price loading...

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

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

Algebra

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

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Oxford University Press
Format: hardcover
ASIN: 0198500491
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 07 September 2000
Listed Since: 06 February 2007

Barcode

No barcode data available

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

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

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)

Propositional and Predicate Calculus: A Model of Argument

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

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

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

Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Logic for Mathematicians

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

A First Course in Logic

Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): 47

Mathematical Logic: An Introduction (De Gruyter Textbook)

Mathematical Logic through Python

The Oxford Handbook of Philosophy of Mathematics and Logic

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

Mathematical Logic

A First Course in Mathematical Logic and Set Theory

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Fundamentals of Mathematical Logic

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)