Handbook of Logic and Proof Techniques for Computer Science
by Steven G. Krantz
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 17-Jan-2002 |
| ISBN-10: | 081764220X |
| ISBN-13: | 9780817642204 |
| Binding Type: | Hardback |
| Weight: | 669 gms |
| Pages: | pp. 268, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L |
The Title "Handbook of Logic and Proof Techniques for Computer Science 1st Edition" is written by Steven G. Krantz. This book was published in the year 2002. The ISBN number 081764220X|9780817642204 is assigned to the Hardback version of this title. This book has total of pp. xix + 245 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Handbook of Logic and Proof Techniques for Computer Science 1st Edition is currently Available with us.