Most of the books on mathematical logic for mathematicians are written from the perspective of deep research into various theoretical issues in model theory ordinal number theory completeness relative consistency axiom of choice and so forth. Product dimensions 152 x 15 x 229 cm shipping weight 476 g customer reviews 30 out of 5 stars 1 customer rating amazon bestsellers rank 694751 in books see top 100 in books 66 in logic books 71 in computer design 401 in mathematical logic. At the end of the course you will not only know the basics of mathematical logic but you will be able to prove logical equivalences re write them in standardised ways using normal forms understand complex diagrams and most importantly have an in depth knowledge of how information is transmitted to and from the computer who this course is for. Mathematical logic for computer science is a mathematics textbook with theorems and proofs but the choice of topics has been guided by the needs of students of computer science the method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand