A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs a quick sketch of a key idea from logic, will find it in this self-contained, accessible, and easy-to-use reference.
Read More
A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs a quick sketch of a key idea from logic, will find it in this self-contained, accessible, and easy-to-use reference.
Read Less
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $32.00, very good condition, Sold by Moe's Books rated 4.0 out of 5 stars, ships from Berkeley, CA, UNITED STATES, published 2002 by Birkhauser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $37.30, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Birkhauser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $38.08, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Birkhauser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $38.58, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2002 by Birkhauser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $38.58, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2002 by Springer.