A bibliography of symbolic logicby Alonzo ChurchSymbolic and mathematical LogicBibliographyWriting a summary for young readers…For young readersBook data: Open Library