by Jan Wolenski
Publisher: ESSLLI 2002
Number of pages: 35
The course is intended to provide 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.
Home page url
Download or read it online for free here:
by 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.
by Harold Simmons - The University of Manchester
Topics covered: Basic ideas of language, satisfaction, and compactness; Some examples of elimination of quantifiers; The diagram technique; Model complete theories, companion theories, existentially closed structures, and various refinements; etc.
by C. Ward Henson - University of South Carolina
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.
by 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.