Zoom

Logic for Computer Scientists

Name: Logic for Computer Scientists
Brand: Birkhauser
SKU: 9780817647629
Price: 64.99 USD
Availability: InStock

$64.99

Hurry Up! Only 256 Left in Stock!

Out of stock >

Guarantee safe & Secure checkout

Availability: In Stock

Contributors:

Uwe SchÃ¶ning

Publisher:

Birkhauser

Binding:

Paperback

Book Category:

Mathematics, Computers

Book Subcategory:

Logic, Applied, Computer Science

Series:

Modern Birkhauser Classics

Shipping & Return +

The product is eligible for a complimentary return within 30 days from the date of purchase. Furthermore, individual items are shipped within 24 hours of receiving the order.

Rating and Reviews +

Specifications +

Release Date:

2008-01-11

ISBN 13:

9780817647629

Weight:

0.6 lbs

Size:

9.10 x 6.10 x 0.40 inches

Pages:

168

Mint Condition +

product description

Description

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

Logic for Computer Scientists

Description

Recently Viewed Products

Recently viewed products

Secure Payment

Online Offers

Quick Refunds

Curated Items