Theory of Modelsby J. W. Addison, Leon Henkin, Alfred TarskiWriting a summary for young readers…For young readersBook data: Open Library