MModel-theoretic logicsModel-theoretic logicsde Jon Barwise, Solomon Feferman, John T. BaldwinMateriasModel theoryEdiciones (1)Model-theoretic logics (1985)Springer-Verlag · inglésMás obras de Jon BarwiseLanguage, proof, and logicVicious circlesLogical reasoning with diagramsTuring's World 3.0 for the Macintosh