|
|
|
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Lieferstatus: |
 i.d.R. innert 7-14 Tagen versandfertig |
| Veröffentlichung: |
September 2000
|
| Genre: |
Schulbücher |
| ISBN: |
9780198500483 |
|
EAN-Code:
|
9780198500483 |
| Verlag: |
OUP Oxford |
| Einband: |
Kartoniert |
| Sprache: |
English
|
| Dimensionen: |
H 234 mm / B 156 mm / D 19 mm |
| Gewicht: |
547 gr |
| Seiten: |
360 |
| Zus. Info: |
Paperback |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| 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. |
|
Newsfeed | 
Facebook | 
Twitter
