Get Free Shipping on orders over $89
Logic and Declarative Language - M. Downward

Logic and Declarative Language

By: M. Downward

Paperback | 31 March 1998 | Edition Number 1

At a Glance

Paperback


RRP $88.99

$81.75

or 4 interest-free payments of $20.44 with

 or 

Ships in 3 to 5 business days

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 in Philosophy & Logic

Divisions and Definitions - Yury Arzhanov
Rationality : What It Is, Why It Seems Scarce, Why It Matters - Steven Pinker
The Stoic Habit : How to Own Your Choices-Even When It's Difficult - Bob Robinson
Critical Thinking : The Basics - Stuart  Hanscomb
Philosophy and the Human Sciences - R.J. Anderson

RRP $210.00

$184.75

12%
OFF
The Concept of Holiness : Routledge Revivals - O.R. Jones
Logic - Stan Baronett

Paperback

$370.75

Analogy and Exemplary Reasoning in Legal Discourse - Hendrik Kaptein
Philosophy of Language : A Contemporary Introduction - William G. Lycan
Philosophy of Language : A Contemporary Introduction - William G. Lycan

RRP $305.00

$263.75

14%
OFF