An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.

"About this title" may belong to another edition of this title.

Store Description

We strive to provide quality new and used books online to our customers at fair and competitive market prices. We specialize in non-fiction, modern first editions, autographed books, sets, and some new condition items from bookstore purchases.

Visit Seller's Storefront

Seller's business information

GridFreed LLC
2077 kurtz st, San diego, CA, 92110, U.S.A.

Sale & Shipping Terms

Terms of Sale

We accept return requests for 30 days after arrival. If the item is returned for the reason "Buyer Does Not Want Item" the buyer is refunded the item price only. If the item was mis-described, we will refund initial shipping. The cost and responsibility for returning the item is that of the customer.

Shipping Terms

Our shipping is based on USPS Media Mail and for international orders, USPS priority flat rate and first class mail international rates. Insurance is used on high value orders.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 14 business days
First item	US$ 6.95	US$ 9.95

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.