6 results - showing 1 - 6
Ordering
Metalogic by Jan Wolenski
 
0.0 (0)
Ebooks May 28, 2022 3

Ebook Details

Author
Jan Wolenski
Publisher
ESSLLI 2002
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.
Model-Theoretic Logics by J. Barwise, S. Feferman
 
0.0 (0)
Ebooks May 24, 2022 3

Ebook Details

Author
J. Barwise, S. Feferman
Publisher
Springer 1985
The subject matter of this book constitutes a merging of several directions of work in general model theory over the last 25 years. Three main lines can be distinguished: first, 
Model Theory by C. Ward Henson
 
0.0 (0)
Ebooks May 24, 2022 2

Ebook Details

Author
C. Ward Henson
Publisher
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.
Fundamentals of Model Theory by William Weiss, Cherie D'Mello
 
0.0 (0)
Ebooks May 14, 2022 2

Ebook Details

Author
William Weiss, Cherie D'Mello
Publisher
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 also a primer which will give someone a self contained overview of the subject, before diving into...
11266
 
0.0 (0)
Ebooks April 28, 2022 8

Ebook Details

Author
David Reid
Publisher
Smashwords 2016
The skeleton of this narrative nonfiction book is a science fiction story without the usual mangling of physics. 
 
0.0 (0)
Ebooks Updated April 23, 2022 11

Ebook Details

Author
Stephen G. Simpson
Publisher
The Pennsylvania State University 1998
An important branch of mathematical logic is model theory, the study of first-order theories and the classes of models defined by such theories.
6 results - showing 1 - 6
0
Shares