Reading list: logician
Logic