booktheque

Handbook of logic and proof techniques for computer science

Steven G. Krantz · 2002

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2002
Language
English
Publisher
Birkhäuser Boston
Editions
2
Pages
300
ISBN
9780817642204

Data source: Wikidata

More by Steven G. Krantz

The integral
Steven G. Krantz · 2011
An Episodic History of Mathematics
Steven G. Krantz · 2010
Calculus demystified
Steven G. Krantz · 2010
Discrete mathematics DeMYSTified
Steven G. Krantz · 2009
Geometric integration theory
Steven G. Krantz · 2008
A guide to complex variables
Steven G. Krantz · 2008
Mathematical apocrypha redux
Steven G. Krantz · 2005
Calculus Demystified
Steven G. Krantz · 2002
Dictionary of Algebra, Arithmetic, and Trigonometry (Advanced Studies in Mathematics)
Steven G. Krantz · 2000
Handbook of Complex Variables
Steven G. Krantz · 1999