Handbook of Logic and Proof Techniques for Computer Science - Couverture rigide

Krantz, Steven G.

 
9780817642204: Handbook of Logic and Proof Techniques for Computer Science

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9781461266198: Handbook of Logic and Proof Techniques for Computer Science

Edition présentée

ISBN 10 :  146126619X ISBN 13 :  9781461266198
Editeur : Birkhäuser, 2012
Couverture souple