Introduction to Model Theory - Rothmaler, Phillipp, and Rothmaler, Philipp, and Rothmaler, Rothmaler

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the ...

Introduction to Model Theory 2000, CRC Press, Amsterdam, Netherlands

ISBN-13: 9789056993139

Revised edition

Trade paperback

Select
Introduction to Model Theory 2000, CRC Press, Amsterdam, Netherlands

ISBN-13: 9789056992873

Revised edition

Hardcover

Select