Logo

Metalogic by Jan Wolenski

Small book cover: Metalogic

Metalogic
by

Publisher: ESSLLI
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.

Home page url

Download or read it online for free here:
Download link
(270KB, PDF)

Similar books

Book cover: Model TheoryModel Theory
by - 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.
(6125 views)
Book cover: Fundamentals of Model TheoryFundamentals of Model Theory
by - 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.
(7211 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.
(7377 views)
Book cover: An Introduction to Good Old Fashioned Model TheoryAn Introduction to Good Old Fashioned Model Theory
by - 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.
(5606 views)