MATHEMATICAL LOGIC PROPOSITIONAL CALCULUS, BOOELAN ALGEBRAS, PREDICATE CALCULUS, COMPLETENESS THEOREMS by Cori, Rene ISBN 0198500491
From Student Book World
|
[edit] MATHEMATICAL LOGIC PROPOSITIONAL CALCULUS, BOOELAN ALGEBRAS, PREDICATE CALCULUS, COMPLETENESS THEOREMS
The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the topic, this book provides an introduction for advanced undergraduate students. The concept of model underlies the text, giving it a theoretical coherence.
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.
[edit] Book Details
[edit] Title
MATHEMATICAL LOGIC PROPOSITIONAL CALCULUS, BOOELAN ALGEBRAS, PREDICATE CALCULUS, COMPLETENESS THEOREMS
[edit] Author
Cori, Rene
[edit] ISBN
0198500491
[edit] Published
07/09/2000
[edit] Publisher
Oxford University Press
[edit] Binding
hardback
[edit] Retail Price
65 (GBP)
[edit] Typical Price Online
65 (GBP)
[edit] Buy Book Online
If you wish to purchase MATHEMATICAL LOGIC PROPOSITIONAL CALCULUS, BOOELAN ALGEBRAS, PREDICATE CALCULUS, COMPLETENESS THEOREMS, written by Cori, Rene and published by Oxford University Press on 07/09/2000 then we have listed a few select online book retailers who can provide good value and service.
| ISBN 0198500491 |
|---|
