Welcome to E-Books Directory
This page lists freely downloadable books.

 

e-books in this category

MetalogicMetalogic
by Jan Wolenski - ESSLLI , 2002
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.
(2084 views)

Model-Theoretic LogicsModel-Theoretic Logics
by J. Barwise, S. Feferman - Springer , 1985
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.
(3252 views)

An Introduction to Good Old Fashioned Model TheoryAn Introduction to Good Old Fashioned Model Theory
by Harold Simmons - The University of Manchester , 2004
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.
(3084 views)

Model TheoryModel Theory
by C. Ward Henson - University of South Carolina , 2010
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.
(3456 views)

Fundamentals of Model TheoryFundamentals of Model Theory
by William Weiss, Cherie D'Mello - University of Toronto , 1997
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.
(4633 views)

Model Theory, Algebra and GeometryModel Theory, Algebra and Geometry
by D. Haskell, A. Pillay, C. Steinhorn - Cambridge University Press , 2000
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.
(9608 views)