Complications in making first-order logic niceby Ben HansenAlgebraic logicWriting a summary for young readers…For young readersBook data: Open Library