Add this copy of Mathematical Logic for Computer Science to cart. $66.78, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2012 by Springer London Ltd.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white. XV, 346 p. 79 illus. Intended for college/higher education audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Mathematical Logic for Computer Science to cart. $70.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. $112.49, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2012 by Springer.
Add this copy of Mathematical Logic for Computer Science to cart. $148.14, 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. $250.51, new condition, Sold by SellingTales rated 5.0 out of 5 stars, ships from Belvidere, NJ, UNITED STATES, published 2003 by Springer.
Add this copy of Mathematical Logic for Computer Science to cart. $66.79, 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, 3rd Edition to cart. $79.09, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES.
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.
