BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

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
Stock photo: cover may vary

Handbook of Logic and Proof Techniques for Computer Science Hardback - 2002

by Steven G. Krantz

Add to wish list
  • Used
  • very good
  • Hardback
Used - Very good

Description

Birkhauser, 2002. Hardcover. Very good/no jacket.
Ask the seller a question Add to wish list
A$36.68
A$9.54 Delivery within USA
Standard delivery: 5 to 14 days
More delivery options
Ships from Moe's Books (California, United States)

Details

  • Title Handbook of Logic and Proof Techniques for Computer Science
  • Author Steven G. Krantz
  • Binding Hardback
  • Edition U. S. EDITION
  • Condition Used - Very good
  • Pages 245
  • Volumes 1
  • Language ENG
  • Publisher Birkhauser, Boston, MA
  • Publication date 2002
  • Illustrated Yes
  • Features Bibliography, Glossary, Illustrated, Index
  • Bookseller's Inventory # 1127380
  • ISBN 9780817642204 / 081764220X
  • Weight 1.27 lbs (0.58 kg)
  • Dimensions 9.5 x 6.26 x 0.7 in (24.13 x 15.90 x 1.78 cm)
  • Category Mathematics
  • Library of Congress subjects Computers, Electronic data processing
  • Library of Congress Catalogue Number 2001043153
  • Dewey Decimal Code 004
  • Quantity available 1

About Moe's Books California, United States

Biblio member since 2005

In business for 50 years, on-line for over 10 years, Telegraph Books is the on-line department of Moe\'s Books in Berkeley. Please direct all questions to our e-mail address books@telegraphbooks.com. Our on-line books can be made available for pick-up at our store, but please contact us by e-mail as they are all warehoused.

Terms of Sale:

We accept Visa, Mastercard, Discover and Amex. Books can be returned for up to 7 days of receipt. Books can be returned when not as described. International shipping as quoted is for items that can be shipped via Global Priority. Oversized or heavier books may require additional postage, quoted at cost.

Browse books from Moe's Books

Reader reviews for Handbook of Logic and Proof Techniques for Computer Science

From the publisher

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.

First line

An elementary statement (or atomic statement) is a sentence with a subject and a verb (and sometimes an object) but no connectives (and, or, not, if-then, if-and-only-if).
tracking-