First course in mathematical logicby Patrick SuppesWriting a summary for young readers…For young readersBook data: Open Library