Handbook of Logic and Proof Techniques for Computer Science

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. Read More

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. Read Less

• All from $16.50
• New Books from $29.48
• Used Books from $25.00
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jul 13, 2024) 60 Day Rental: $22.00 (Expires Aug 12, 2024) 90 Day Rental: $27.50 (Expires Sep 11, 2024) 120 Day Rental: $33.00 (Expires Oct 11, 2024) 180 Day Rental: $35.75 (Expires Dec 10, 2024) Buy eBook Lifetime Access: $54.99 Title: Handbook of Logic and Proof Techniques for Computer Science by Steven G. Krantz Publisher: Springer Nature Print ISBN: 9780817642204, 081764220X eText ISBN: 9781461201151 Edition: 2002 2002 edition Format: PDF eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ