Model-Theoretic Logics (Perspectives in Mathematical Logic)by J. BarwiseWriting a summary for young readers…For young readersBook data: Open Library