• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Handbook of Logic and Proof Techniques for Computer Science

Handbook of Logic and Proof Techniques for Computer Science

Paperback

FictionGeneral ComputersGeneral Mathematics

ISBN10: 146126619X
ISBN13: 9781461266198
Publisher: Springer Nature
Published: Oct 23 2012
Pages: 245
Weight: 0.84
Height: 0.56 Width: 6.14 Depth: 9.21
Language: English
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.

1 different editions

Also available

Also in

Fiction