Logic And Declarative Language

229,00 €
+ 6,49 € Shipping
  • product image
Logic And Declarative Language

Logic And Declarative Language

  • Brand: Unbranded
Sold by:

Logic And Declarative Language

  • Brand: Unbranded

229,00 €

In stock
+ 6,49 € Shipping
Sold by:

229,00 €

In stock
+ 6,49 € Shipping

We accept the following payment methods

Description

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
  • Number of Pages: 384
  • Fruugo ID: 338011192-741672411
  • ISBN: 9780748408030

Delivery & Returns

Dispatched within 4 days

  • STANDARD: 6,49 € - Delivery between Fri 28 November 2025–Wed 03 December 2025

Shipping from United Kingdom.

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