|
the Colorado 'On the Hill' - FALL 2010 | ||
Section 001 | ||
Introduction to Model Theory (Algebra, Logic and Applications Volume 15) (1st Edition) by Philipp Rothmaler Paperback, 324 Pages, Published 2000 ISBN-10: 90-5699-313-5 / 9056993135 ISBN-13: 978-90-5699-313-9 / 9789056993139 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, t |