Media type: E-Book Title: Model theory Contributor: Chang, Chen Chung [Author]; Keisler, H. Jerome [Other] Corporation: ScienceDirect (Online service) imprint: Amsterdam; New York: North-Holland, 1990 New York, NY, USA: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co, 1990 Online-Ausg.] Published in: Studies in logic and the foundations of mathematics ; 73 Issue: 3rd ed Extent: Online-Ressource; xvi, 650 p; 23 cm Language: English ISBN: 0444880542; 9780444880543 RVK notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung SK 130 : Logik und Grundlagen, Metamathematik, MR 5400 : Formalisierte (Modell-)Theorien, Systemtheorien ST 136 : Automatentheorie, Formale Sprache ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Keywords: Modelltheorie Reproductino series: Elsevier e-book collection on ScienceDirect Type of reproduction: Online-Ausg.] Origination: Footnote: Includes bibliographical references (p. 623-640)