Vetenskap & teknik
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
René Cori • Daniel Lascar
Inbunden
3229:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780198500490
- Språk: Engelska
- Utgivningsdatum: 2000-09-07
- Översättare: Donald Pelletier
- Förlag: Oxford University Press