Add this copy of Mathematical Logic for Computer Science to cart. $57.64, new condition, Sold by SurplusTextSeller rated 5.0 out of 5 stars, ships from Columbia, MO, UNITED STATES.
Add this copy of Mathematical Logic for Computer Science to cart. $61.05, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer London Ltd.
Add this copy of Mathematical Logic for Computer Science to cart. $101.45, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.
Add this copy of Mathematical Logic for Computer Science to cart. $237.42, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 2003 by Springer.
Add this copy of Mathematical Logic for Computer Science to cart. $243.51, new condition, Sold by SellingTales rated 4.0 out of 5 stars, ships from Belvidere, NJ, UNITED STATES, published 2003 by Springer.
This book provides a good hands-on introduction to mathematical logic for computer science - the basics in quantified and non-quantified logic, modal logics etc. The CS-specific part would be the applications to databases (formulation of logical Datalog queries), and the set of ready-made translations of the proof systems into pseudocode.
This is a self-contained book for an introductory course in logic for computer science. Thus far it does what it says on the tin.
However, if you are expecting a more thorough treatment of the subject, or a look from a mathematical viewpoint, you would be advised to check out eg The Handbook of Logic in Computer Science (Gabbay et al, series ed), or "Topoi - The categorial analysis of logic" (Goldblatt). Ben-Ari's book is a good, practical introduction, but it doesn't dwell on the algebraic structures, or explain eg Kripke semantics particularly well.
