Excellent4.8 out of 5On Trustpilot
  1. Christian Academic Books/
  2. Philosophy

Logic And Declarative Language

  • Hardback
  • Publisher: Routledge
  • 15.6 x 23.4 x 2.3 cm

£147.29

Free UK Delivery

Available - Usually dispatched within 4 days

Buying for a school or church? Upgrade to a FREE Eden Advance Account
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.
Logic And Declarative Language and Logic And Declarative Language
Logic And Declarative LanguageLogic And Declarative Language
  • Author

    Michael Downward

  • Book Format

    Hardback

  • Publisher

    Routledge

  • Published

    March 1998

  • Weight

    713g

  • Dimensions

    15.6 x 23.4 x 2.3 cm

  • ISBN

    9780748408030

  • ISBN-10

    0748408037

  • Eden Code

    5230811

Over 14,000 churches and schools have upgraded to an Advance Account and we‘d love to welcome you into this free program. We know that church volunteers and school teachers often use their own money, then have claim it back on on an expense form. We can take all of that hassle away by invoicing your church or school directly and delivering your order straight away.

Opening an account is quick and easy, with most accounts being approved and setup within a few hours of filling in the form below (on weekdays, not weekends). As soon as we‘ve approved the application we‘ll send you an email to let you know that its done.

Upgrade to a FREE Eden Advance Account