A sharp, witty, mind-expanding and exuberant foray into the world of logic with computer scientist