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 Paperback - 2012

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.

Details

  • Title Handbook of Logic and Proof Techniques for Computer Science
  • Author Steven G. Krantz
  • Binding Paperback
  • Pages 245
  • Volumes 1
  • Language ENG
  • Publisher Birkhauser
  • Publication date 2012-10-23
  • Features Bibliography, Glossary
  • ISBN 9781461266198 / 146126619X
  • Weight 0.84 lbs (0.38 kg)
  • Dimensions 9.21 x 6.14 x 0.56 in (23.39 x 15.60 x 1.42 cm)
  • Category Mathematics
  • Dewey Decimal Code 004

More Copies for Sale

Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

by Steven G. Krantz

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781461266198 / 146126619x
Quantity available
244
Seller
Item price
A$103.79
A$15.37 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$103.79
A$15.37 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
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781461266198 / 146126619x
Quantity available
10
Seller
Item price
A$110.06
A$19.13 Delivery to USA

Show details

Description:
Paperback / softback. 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.06
A$19.13 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
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781461266198 / 146126619X
Quantity available
2
Seller
Item price
A$126.08
A$48.08 Delivery to USA

Show details

Description:
Birkhäuser, 2012. Paperback. New. reprint edition. 245 pages. 9.00x5.75x0.50 inches.
Add to wish list
Item price
A$126.08
A$48.08 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. G

  • New
  • Paperback
  • first
Condition
New
Edition
Softcover reprint of the original 1st ed. 2002
Binding
Paperback
ISBN 10 / ISBN 13
9781461266198 / 146126619X
Quantity available
6
Seller
Item price
A$95.70
Free Delivery to USA

Show details

Description:
Birkhauser, 2012-10-23. Softcover reprint of the original 1st ed. 2002. paperback. New. 6.10x0.61x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$95.70
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

by Krantz, Steven G. G

  • Used
  • Paperback
  • first
Condition
Used
Edition
Softcover reprint of the original 1st ed. 2002
Binding
Paperback
ISBN 10 / ISBN 13
9781461266198 / 146126619X
Quantity available
1
Seller
Item price
A$116.91
Free Delivery to USA

Show details

Description:
Birkhauser, 2012-10-23. Softcover reprint of the original 1st ed. 2002. paperback. Used: Good. 6.10x0.61x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$116.91
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

by Krantz, Steven G. G.

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9781461266198 / 146126619X
Quantity available
1
Seller
Item price
A$117.51
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$117.51
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

by Steven G. Krantz

  • New
Condition
New
ISBN 10 / ISBN 13
9781461266198 / 146126619X
Quantity available
4
Seller
Item price
A$133.90
A$5.72 Delivery to USA

Show details

Description:
Springer , pp. 268 . Papeback. New.
Add to wish list
Item price
A$133.90
A$5.72 Delivery to USA