A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.
Reviews with the most likes.
There are no reviews for this book. Add yours and it'll show up right here!
List
Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search