Logic And Declarative Language

PLN899.00
+ PLN29.99 Shipping

Logic And Declarative Language

  • Brand: Unbranded
Sold by:

Logic And Declarative Language

  • Brand: Unbranded

PLN899.00

In stock
+ PLN29.99 Shipping
Sold by:

PLN899.00

In stock
+ PLN29.99 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: PLN29.99 - Delivery between Thu 27 November 2025–Tue 02 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