Skip to main content
PBS logo
 
 

Search - Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science
Handbook of Logic and Proof Techniques for Computer Science
Author: Steven G. Krantz
Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a resource that provides a quick introduction and review of the key topics in logic for the computer ...  more »
ISBN-13: 9780817642204
ISBN-10: 081764220X
Publication Date: 1/17/2002
Pages: 300
Edition: 1
Rating:
  ?

0 stars, based on 0 rating
Publisher: Birkhäuser Boston
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: