• Home >
  • Buy >
  • Nonfiction >
  • Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz (2002, Hardcover)

Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz (2002, Hardcover) 
Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz (2002, Hardcover)

 
Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz (2002, Hardcover)

Publisher: Birkhauser
Publication Date: 2002-01-01
Language: English
Format: Hardcover
ISBN-10: 081764220X
ISBN-13: 9780817642204
Product ID: EPID1948515
Portions of this page Copyright 1995 - 2010 Muze Inc. All rights reserved.
Preferences
Distance
Please enter valid zipcode.
Please select a valid popular city.
Please enter valid zipcode or select a valid popular city.
Within miles of ZIP
7 results|Group by condition
View as 
Customize view ]
Sort by: 
PriceTime Left
Fast Shipping ~ Quick Processing ~ BRAND NEW !!!!!!
Condition: Brand New
 
Buy It Now$71.93---
Excellent customer service. May ship from alternate location depending on your zip
Condition: Very Good
 
Buy It Now$75.76---
(NEW TITLE), Size 23cm, pp. xix + 245.
Condition: Brand New
 
Buy It Now$79.81---
Like New NO EXPEDITED SHIPPING! May have remainder marks.
Condition: Like New
 
Buy It Now$83.99---
Excellent customer service. May ship from alternate location depending on your zip
Condition: Brand New
 
Buy It Now$86.35---
Very good used condition. Satisfaction Guaranteed .
Condition: Very Good
 
Buy It Now$104.19---
Like new. Never opened! Satisfaction Guaranteed .
Condition: Like New
 
Buy It Now$105.24---
Page 1 of 1
Details
Publication Date:2002-01-01

Size
Length:245 pages
Height:9.3 in
Width:6.2 in
Thickness:0.5 in
Weight:19.2 oz

Publisher's Note
An essential resource for a quick introduction and review of the key topics in logic for the computer scientist, engineer, or mathematician! This handbook presents the elements of modern logic to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The text contains definitions, examples and discussion of all key ideas in basic logic, but it also cuts through mathematical formalism, difficult notation, and esoteric terminology.

See an error? Submit a change request

    About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
    Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
    eBay official time

    Error
    We're sorry, but there's been an error.
    Please try again.