Add this copy of Mathematical Logic for Computer Science to cart. £12.67, good condition, Sold by Goodwill of Silicon Valley rated 5.0 out of 5 stars, ships from San Jose, CA, UNITED STATES, published 2003 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing page and cover creases as well as other types visible wear.
Add this copy of Mathematical Logic for Computer Science (Prentice-Hall to cart. £16.37, very good condition, Sold by ThriftBooks-Dallas rated 4.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1993 by Prentice Hall.
Add this copy of Mathematical Logic for Computer Science (Prentice-Hall to cart. £17.28, fair condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1993 by Prentice-Hall.
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.
Add this copy of Mathematical Logic for Computer Science to cart. £19.33, fair condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1993 by Prentice-Hall.
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. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 600grams, ISBN: 9780135641392.
Add this copy of Mathematical Logic for Computer Science (Prentice-Hall to cart. £20.23, fair condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1993 by Prentice-Hall.
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.
Add this copy of Mathematical Logic for Computer Science to cart. £23.00, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 2001 by Springer.
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.
Add this copy of Mathematical Logic for Computer Science to cart. £23.60, very good condition, Sold by ThriftBooks-Atlanta rated 4.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published by Springer.
Add this copy of Mathematical Logic for Computer Science to cart. £23.61, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2012 by Springer.
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!
Add this copy of Mathematical Logic for Computer Science to cart. £25.18, good condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1993 by Prentice-Hall.
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 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, 550grams, ISBN: 9780135641392.
Add this copy of Mathematical Logic for Computer Science to cart. £28.30, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2012 by Springer.
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!
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.
