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: 78.14 USD
Availability: InStock
ISBN: 9780198500483

ISBN-10: 0198500483

ISBN-13: 9780198500483

Edition: 2000

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

List price: $85.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $78.14

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 of logic.

Book details

List price: $85.00
Copyright year: 2000
Publisher: Oxford University Press, Incorporated
Publication date: 11/9/2000
Binding: Paperback
Pages: 358
Size: 6.14" wide x 9.21" long x 0.75" tall
Weight: 1.100
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


Naotations


Index