Handbook of Logic and Proof Techniques for Computer Science - Softcover

Krantz, Steven G. G.

 
9781461266198: Handbook of Logic and Proof Techniques for Computer Science

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Steven G. Krantz and Harold R. Parks have co-authored several classic texts including "A Primer of Real Analytic Functions, 2nd ed." (c) 2002 Birkhäuser, "The Implicit Function Theorem", (c) 2003 Birkhäuser, "Geometric Integration Theory", (c) 2008 Birkhäuser, "The Geometry of Domains in Space", (c) 1999 Birkhäuser.  Steven Krantz's current affiliation is Washington University in St. Louis, MO, and Harold Park's is currently Professor Emeritus at Oregon State University, Corvalis, OR.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780817642204: Handbook of Logic and Proof Techniques for Computer Science

Vorgestellte Ausgabe

ISBN 10:  081764220X ISBN 13:  9780817642204
Verlag: Birkhäuser, 2002
Hardcover