Kleene Symposiumby J. Barwise, H.J. Keisler, K. KunenWriting a summary for young readers…For young readersBook data: Open Library