J. BarwiseBooksKleene SymposiumModel-Theoretic Logics (Perspectives in Mathematical Logic)Admissible Sets and StructuresHandbook of Mathematical LogicHandbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)Model-Theoretic LogicsTarski's worldAuthor data: Open Library
