The Logical Basis for Computer Programming, Volume 1
The Logical Basis for Computer Programming, Volume 1
Incoming Search Term :If you enjoyed this post, please consider to leave a comment or subscribe to the feed and get future articles delivered to your feed reader.
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.
Rating: 4 / 5