Handbook of Logic and Proof Techniques for Computer Science

Steven G. Krantz

ISBN 10: 146126619X / ISBN 13: 9781461266198

Published by Birkhäuser Boston, 2012

About this Item

Handbook of Logic and Proof Techniques for Computer Science | Steven G. Krantz | Taschenbuch | xix | Englisch | 2012 | Birkhäuser Boston | EAN 9781461266198 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 105652665

Bibliographic Details

• Title: Handbook of Logic and Proof Techniques for Computer Science
• Publisher: Birkhäuser Boston
• Publication Date: 2012
• Language: English
• ISBN 10: 146126619X
• ISBN 13: 9781461266198
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 15D millimeters 235 millimeters width by 155 millimeters height by 15 millimeters depth
• Weight: 411 grams
• Seller catalogs:
  • Bücher

About this title

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.

Review

"This is really what it promises to be―a good handbook: supple, self-contained, providing the necessary and sufficient working resources . . . it is more than [one] expect[s]: the rigor of usefulness and conciseness exceeds or equals . . . the pleasure of reading it."

―Zentralblatt Math