Model Theory
by C. Ward Henson
Publisher: University of South Carolina 2010
Number of pages: 122
Description:
The purpose of this text is to give a thorough introduction to the methods of model theory for first order logic. Model theory is the branch of logic that deals with mathematical structures and the formal languages they interpret.
Download or read it online for free here:
Download link
(650KB, PDF)
Similar books
Fundamentals of Model Theoryby William Weiss, Cherie D'Mello - University of Toronto
This book provides an introduction to Model Theory which can be used as a text for a reading course or a summer project at the senior undergraduate or graduate level. It is a primer which will give someone a self contained overview of the subject.
(14417 views)
Hack, Hack, Who's There? A Gentle Introduction to Model Theoryby David Reid - Smashwords
The skeleton of this book is a science fiction story without the usual mangling of physics. The flesh is composed of non-technical mainstream explanations and examples of the field of mathematics which deals with meaning, called Model Theory.
(7497 views)
Model-Theoretic Logicsby J. Barwise, S. Feferman - Springer
The subject matter of this book constitutes a merging of several directions in general model theory: cardinality quantifiers; infinitary languages; and, finally, that on generalized quantifiers and abstract characterizations of first-order logic.
(14149 views)
Model Theory, Algebra and Geometryby D. Haskell, A. Pillay, C. Steinhorn - Cambridge University Press
The book gives the necessary background for the model theory and the mathematics behind the applications. Aimed at graduate students and researchers, it contains surveys by leading experts covering the whole spectrum of contemporary model theory.
(18969 views)