The Logical Basis for Computer Programming, Volume 1

by Zohar Marra, Richard Waldinger, Zohar Manna

No Synopsis Available.

• Format: Hardcover
• Language: English
• ISBN: 0201182602
• ISBN13: 9780201182606
• Release Date: January 1985
• Publisher: Addison-Wesley Professional
• Length: 618 Pages
• Weight: 2.35 lbs.
• Dimensions: 1.1" x 6.6" x 9.6"

Customer Reviews

Still the best logic text for computer science

I've been using this book to teach introductory mathematical logic to computer science students for many years. Every year or two, I look again for something that might cover the ground better, but, despite some notational flaws and an occasional error or poor choice of phrase, this one comes out on top every time.