gesang finished reading Computability and Logic by George S. Boolos
Computability and Logic has become a classic because of its accessibility to students without a …
Really an overrated book. Extremely tedious and organized chaotically. It's like CS people hype up when they encounter mathematics even if it is an exceedingly badly written one.