Logic And Declarative Language

£199.00
FREE Shipping
  • product image
Logic And Declarative Language

Logic And Declarative Language

  • Brand: Unbranded
Sold by:

Logic And Declarative Language

  • Brand: Unbranded

£199.00

In stock
FREE Shipping

14-Day Returns Policy

Sold by:

£199.00

In stock
FREE Shipping

14-Day Returns Policy

Payment methods:

Description

Logic And Declarative Language

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. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: M. Downward
  • Format: Hardback
  • Language: English
  • Publication Date: 1998/03/31
  • Publisher / Label: Taylor & Francis
  • Fruugo ID: 338011192-741672411
  • ISBN: 9780748408030

Delivery

Dispatched within 4 days

  • STANDARD: FREE - Delivery between Tue 30 June 2026–Wed 01 July 2026 - FREE

Shipping from United Kingdom.

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy