Alan Turings Systems Of Logic The Princeton Thesisby Andrew W. AppelComputer scienceSymbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library