Handbook of Logic and Proof Techniques for Computer Science

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.

Autor*in

Steven G. Krantz

Themen in »Handbook of Logic and Proof Techniques for Computer Science«

Boolean algebra algorithms complexity complexity theory computability theory logic mathematical logic model theory proof theory set theory

Stimmen zu »Handbook of Logic and Proof Techniques for Computer Science«

"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."

Details

Link teilen