Metalogic
by Jan Wolenski
Publisher: ESSLLI 2002
Number of pages: 35
Description:
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.
Download or read it online for free here:
Download link
(270KB, PDF)
Similar books
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.
(16119 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.
(4759 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.
(11004 views)
Model Theoryby Stephen G. Simpson - 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 ...
(3562 views)