Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Inbunden, Engelska, 2000
AvRené Cori,Daniel Lascar,Universite Paris VII) Cori, Rene (,Universite Paris VII) Lascar, Daniel (,Rene Cori,Cori,Lascar
3 019 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2000-09-07
- Mått161 x 241 x 24 mm
- Vikt638 g
- FormatInbunden
- SpråkEngelska
- SerieMathematical Logic
- Antal sidor358
- FörlagOUP OXFORD
- ISBN9780198500490
- ÖversättarePelletier, Donald, Pelletier, Donald (, York University, Toronto and Universite Paris VII)