Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 550grams, ISBN: 9780135641392.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 600grams, ISBN: 9781852333195.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. 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.
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.