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. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Birkhauser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $61.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2012 by Birkhauser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $87.09, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Birkhäuser.
Add this copy of Handbook of Logic and Proof Techniques for Computer to cart. $120.71, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Birkhäuser.
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.