×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

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

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

by Rene Cori, Daniel Lascar, Donald H. Pelletier
 

ISBN-10: 0198500491

ISBN-13: 9780198500490

Pub. Date: 09/28/2000

Publisher: OUP Oxford

Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible introduction to this important subject, using the concept of model as the main focus and covering a wide area of logic. The chapters of the book cover propositional calculus, boolean algebras, predicate calculus and

Overview

Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible introduction to this important subject, using the concept of model as the main focus and covering a wide area of logic. The chapters of the book cover propositional calculus, boolean algebras, predicate calculus and completelness theorems with answeres to all of the exercises and the end of the volume. This is an ideal introduction to mathematics and logic for the advanced undergraduate student.

Product Details

ISBN-13:
9780198500490
Publisher:
OUP Oxford
Publication date:
09/28/2000
Pages:
360
Product dimensions:
6.00(w) x 9.00(h) x 1.00(d)

Table of Contents

Contents of Part II
Notes from the translator
Notes to the reader
Introduction
1. Propositional calculus
2. Boolean algebras
3. Predicate calculus
4. The completeness theorems
Solutions to the exercises of Part I
Bibliography
Index

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews