Steven G. Krantz

eBook, PDF

Handbook of Logic and Proof Techniques for Computer Science (eBook, PDF)

Beschreibung

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.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 18.03MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Birkhäuser Boston
• Seitenzahl: 245
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781461201151
• Artikelnr.: 44199375

Rezensionen

"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