The following text field will produce suggestions that follow it as you type.

Barnes and Noble

Logic And Declarative Language / Edition 1

Current price: $51.99
Logic And Declarative Language / Edition 1
Logic And Declarative Language / Edition 1

Barnes and Noble

Logic And Declarative Language / Edition 1

Current price: $51.99

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Powered by Adeptmind