Celebrate our new site and save $15 Get code »

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 ... Read More

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

ISBN-13: 9789056993139

Trade paperback

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

ISBN-13: 9789056992873

Hardcover

Select