Logic for Computer Scientists - Paperback
by Uwe Schöning
$64.99
Quantity
01
Pay over time for orders over $35.00 with
Availability:In StockContributor:Uwe SchöningSeries:Modern Birkhauser ClassicsPublish date:2008-01-11Pages:168
Language:EnglishPublisher:BirkhauserISBN-13:9780817647629ISBN-10:817647627UPC:9780817647629Book Category:Mathematics, ComputersBook Subcategory:Logic, Applied, Computer ScienceSize:9.10 x 6.10 x 0.40 inchesWeight:0.5997Product ID:SCK9D9AE9A
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...
Language:EnglishPublisher:BirkhauserISBN-13:9780817647629ISBN-10:817647627UPC:9780817647629Book Category:Mathematics, ComputersBook Subcategory:Logic, Applied, Computer ScienceSize:9.10 x 6.10 x 0.40 inchesWeight:0.5997Product ID:SCK9D9AE9A
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.