Logic Colloquium '82by G. Lolli, G. Longo, A. MarcjaWriting a summary for young readers…For young readersBook data: Open Library