Logic Colloquium '80by D. van Dalen, T. J. Smiley, D. LascarWriting a summary for young readers…For young readersBook data: Open Library