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
1
Pages
245
ISBN
9781461266198

Data source: Wikidata

More by Steven G. Krantz

A Mathematical Odyssey
Steven G. Krantz · 2014
The Implicit Function Theorem
Steven G. Krantz · 2013
The Proof is in the Pudding
Steven G. Krantz · 2011
A Handbook of Real Variables
Steven G. Krantz · 2004
Theory and Practice of Conformal Geometry
Steven G. Krantz · 2016
Geometric Analysis of the Bergman Kernel and Metric
Steven G. Krantz · 2013
Complex Analysis
Steven G. Krantz · 1987
Elements of Advanced Mathematics Second Edition
Steven G. Krantz · 2020
Foundations of Analysis
Steven G. Krantz · 2019
Elementary Introduction to the Lebesgue Integral
Steven G. Krantz · 2018