Thinking in Logic: A Programmer's Guide From Code to Reason

This book was written by a robot to help me get the basic fundamentals in logic. It is queen in quite a narrative form because I needed to listen to it while at work. Obviously, the quality of a book written by AI is always suspect, and adding on the weird constraints that I needed to actually digest the book can't help very much. That being said, I need to populate the site, so.... Here it is