Books for leisure reading
A classic on logic and mathematics:https://www.amazon.com/Gödel-Escher-Bach-Eternal-Golden/dp/0465026567
A simple explanation of Gödel's Incompleteness Theorem:https://www.amazon.com/Gödels-Proof-Ernest-Nagel/dp/0814758371/
Roger Penrose on Artificial Intelligence and much more:https://www.amazon.com/Emperors-New-Mind-Concerning-Computers/dp/0198784929/