Handbook of Logic and Proof Techniques for Computer Science

Krantz, Steven G.

ISBN 10: 146126619X / ISBN 13: 9781461266198

Verlag: Birkhäuser, 2012

Beschreibung

Like New. Bestandsnummer des Verkäufers D8F0-0-M-146126619X-6

Bibliografische Details

Titel: Handbook of Logic and Proof Techniques for ...

Verlag: Birkhäuser

Erscheinungsdatum: 2012

Einband: Paperback

Zustand: Like New

Art des Buches: book

Über diesen Titel

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.

Críticas:

"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