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

Name: Mathematical Logic A Course with ExercisesPart I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Price: 222.66 USD
Availability: InStock
ISBN: 9780198500490

ISBN-10: 0198500491

ISBN-13: 9780198500490

Edition: 2000

Authors: Renï¿½ Cori, Daniel Lascar, Donald H. Pelletier

List price: $215.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $222.66

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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 oflogic.

Book details

List price: $215.00
Copyright year: 2000
Publisher: Oxford University Press, Incorporated
Publication date: 11/9/2000
Binding: Hardcover
Pages: 358
Size: 6.34" wide x 9.49" long x 0.94" tall
Weight: 1.408
Language: English



Foreword


Introduction


How to use the book



Propositional Calculus



Boolean Algebras



Predicate Calculus



Completeness Theorems


Answers to the exercises of chapters 1-4


Bibliography


Notations


Index