Logic for Computer Scientists (Progress in Computer Science and Applied Logic)

By Uwe Schöning

Book Overview

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. It presents... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0817634533
• ISBN13: 9780817634537
• Release Date: July 1994
• Publisher: Birkhäuser
• Length: 168 Pages
• Weight: 1.00 lbs.
• Dimensions: 9.8" x 0.5" x 6.5"