Logo

Model Theory by C. Ward Henson

Small book cover: Model Theory

Model Theory
by

Publisher: University of South Carolina
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

Book cover: MetalogicMetalogic
by - ESSLLI
This text provides the basic information about the metatheory of formal system. It will start with a brief information about propositional calculus and first-order logic. Then, fundamental theorems about elementary logic will be stated and proved.
(5234 views)
Book cover: Model TheoryModel Theory
by - The Pennsylvania State University
An important branch of mathematical logic is model theory, the study of first-order theories and the classes of models defined by such theories. This course will include numerous applications of model theory to algebra, especially ordered fields ...
(715 views)
Book cover: Hack, Hack, Who's There? A Gentle Introduction to Model TheoryHack, Hack, Who's There? A Gentle Introduction to Model Theory
by - 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.
(1555 views)
Book cover: Model-Theoretic LogicsModel-Theoretic Logics
by - 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.
(8114 views)