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

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

by Steven G. Krantz

Add to wish list

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).

Details

  • Title Handbook of Logic and Proof Techniques for Computer Science
  • Author Steven G. Krantz
  • Binding Hardback
  • Edition U. S. EDITION
  • Pages 245
  • Volumes 1
  • Language ENG
  • Publisher Birkhauser, Boston, MA
  • Publication date 2002-01-17
  • Illustrated Yes
  • Features Bibliography, Glossary, Illustrated, Index
  • 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

More Copies for Sale

Handbook of Logic and Proof Techniques for Computer Science
Stock photo: cover may vary

Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9780817642204 / 081764220x
Quantity available
1
Seller
Item price
A$36.70
A$9.54 Delivery to USA

Show details

Description:
Birkhauser, 2002. Hardcover. Very good/no jacket.
Add to wish list
Item price
A$36.70
A$9.54 Delivery to USA
Handbook of Logic and Proof Techniques for Computer Science
Stock photo: cover may vary

Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G

  • Used
  • Hardback
Condition
Used
Edition
2002
Binding
Hardcover
ISBN 10 / ISBN 13
9780817642204 / 081764220X
Quantity available
1
Seller
Item price
A$46.59
Free Delivery to USA

Show details

Description:
Birkh, 2002-01-17. 2002. hardcover. Used: Good. 6.26x0.70x9.50. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$46.59
Free Delivery to USA
Handbook Of Logic And Proof Techniques For Computer Science
Stock photo: cover may vary

Handbook Of Logic And Proof Techniques For Computer Science

  • New
Condition
New
ISBN 10 / ISBN 13
9780817642204 / 081764220x
Quantity available
1
Seller
Item price
A$53.31
A$22.02 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$53.31
A$22.02 Delivery to USA
HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE
Stock photo: cover may vary

HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE

by STEVEN G. KRANTZ ,

  • New
  • first
Condition
New
Edition
1st
ISBN 10 / ISBN 13
9780817642204 / 081764220X
Quantity available
5
Seller
Item price
A$66.05
A$29.36 Delivery to USA

Show details

Description:
Birk, 2002. 1st. Unknown Binding. New/New.
Add to wish list
Item price
A$66.05
A$29.36 Delivery to USA
Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780817642204 / 081764220x
Quantity available
254
Seller
Item price
A$104.26
A$15.44 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$104.26
A$15.44 Delivery to USA
Handbook Of Logic And Proof Techniques For Computer Science
Stock photo: cover may vary

Handbook Of Logic And Proof Techniques For Computer Science

  • New
Condition
New
ISBN 10 / ISBN 13
9780817642204 / 081764220x
Quantity available
1
Seller
Item price
A$79.35
A$22.02 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$79.35
A$22.02 Delivery to USA
Handbook of Logic and Proof Techniques for Computer Science
Stock photo: cover may vary

Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G.

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780817642204 / 081764220X
Quantity available
1
Seller
Item price
A$81.29
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$81.29
Free Delivery to USA
Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780817642204 / 081764220x
Quantity available
10
Seller
Item price
A$110.56
A$19.22 Delivery to USA

Show details

Description:
Hardback. New. Logic is, and should be, the core subject area of modern mathemat ics. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic.
Add to wish list
Item price
A$110.56
A$19.22 Delivery to USA
Handbook of Logic and Proof Techniques for Computer Science
Stock photo: cover may vary

Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G

  • New
  • Hardback
Condition
New
Edition
2002
Binding
Hardcover
ISBN 10 / ISBN 13
9780817642204 / 081764220X
Quantity available
6
Seller
Item price
A$98.67
Free Delivery to USA

Show details

Description:
Birkh, 2002-01-17. 2002. hardcover. New. 6.26x0.70x9.50. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$98.67
Free Delivery to USA
Customers who searched for ISBN 9780817642204 may also be interested in this item:
International Edition

Intl. Ed.

HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE

by KRANTZ S.G.

  • New
Note
International Edition
Condition
New
Edition
USA Edition
Quantity available
9
Seller
Item price
A$122.12
A$12.48 Delivery to USA

Show details

Description:
USA Edition . New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Add to wish list
Item price
A$122.12
A$12.48 Delivery to USA