Logic, meaning, and computationby Alonzo Church, C. Anthony AndersonSymbolic and mathematical LogicWriting a summary for young readers…For young readersBook data: Open Library