Barwise, J. (ed.); Feferman, S. (ed.) [Feferman, S.; Barwise, J.; Ebbinghaus, H.-D.; Flum, J.; Kaufmann, M.; Schmerl, J. H.; Mundici, D.; Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M.; Nadel, M.; Dickmann, M. A.; Kolaitis, Ph. G.; Eklof, P. C.; Baldwin, J.; Gurevich, Y.; Keisler, H. J.; Ziegler, M.; Steinhorn, C. I.; Väänänen, J.; Makowsky, J. A.; Scott, D. S.; McCarty, D. C.; Horty, J. F.] Model-theoretic logics. (Parts D-F). (English) Zbl 0587.03002 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D. Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDFBibTeX XML
Barwise, J. (ed.); Feferman, S. (ed.) [Feferman, S.; Barwise, J.; Ebbinghaus, H.-D.; Flum, J.; Kaufmann, M.; Schmerl, J. H.; Mundici, D.; Baudisch, A.; Seese, D.; Tuschik, P.; Weese, M.; Nadel, M.; Dickmann, M. A.; Kolaitis, Ph. G.; Eklof, P. C.; Baldwin, J.; Gurevich, Y.; Keisler, H. J.; Ziegler, M.; Steinhorn, C. I.; Väänänen, J.; Makowsky, J. A.; Scott, D. S.; McCarty, D. C.; Horty, J. F.] Model-theoretic logics. (Parts A-C). (English) Zbl 0587.03001 Perspectives in Mathematical Logic. New York etc.: Springer-Verlag. XVIII, 893 p. DM 480.00 (1985). Reviewer: D.Mundici MSC: 03-02 03C70 03C95 03C80 03C52 03-06 03B25 03C40 03B15 03B48 03C60 03C85 PDFBibTeX XML