null Skip to main content

✨ Buy more, save 5% Ends

Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

$60.32
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Steven G. Krantz
Publisher:
Birkhauser
Publication Date:
Jan 17, 2002
Number of pages:
245 pages
Binding:
Hardback or Cased Book
ISBN-10:
081764220X
ISBN-13:
9780817642204

Overview

A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs a quick sketch of a key idea from logic, will find it in this self-contained, accessible, and easy-to-use reference.


  • | Author: Steven G. Krantz
  • | Publisher: Birkhauser
  • | Publication Date: Jan 17, 2002
  • | Number of Pages: 245 pages
  • | Binding: Hardback or Cased Book
  • | ISBN-10: 081764220X
  • | ISBN-13: 9780817642204

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.