Add this copy of Mathematical Logic for Computer Science to cart. $41.59, 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. $43.49, 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. $75.61, good 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. $21.11, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2003 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. $64.25, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2003 by Springer.
Add this copy of Mathematical Logic for Computer Science to cart. $26.72, good condition, Sold by Anybook rated 5.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 (Prentice-Hall to cart. $20.07, fair condition, Sold by Anybook rated 5.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. $29.18, good condition, Sold by Anybook rated 5.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 (Prentice-Hall to cart. $51.81, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by Prentice Hall.
Add this copy of Mathematical Logic for Computer Science to cart. $47.19, good condition, Sold by BooksRun rated 4.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 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.
