**Hack, Hack, Who's There? A Gentle Introduction to Model Theory**

by David Reid

**Publisher**: Smashwords 2016**ISBN-13**: 9781370372249**Number of pages**: 273

**Description**:

The skeleton of this narrative nonfiction book is a science fiction story without the usual mangling of physics. The flesh is composed of self-contained non-technical mainstream explanations and examples of the field of mathematics which deals with meaning, called Model Theory. Technical terms are avoided, except to occasionally serve as keywords.

Download or read it online for free here:

**Download link**

(multiple formats)

## Similar books

**An Introduction to Good Old Fashioned Model Theory**

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.

(

**5803**views)

**Model Theory**

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.

(

**6335**views)

**Fundamentals of Model Theory**

by

**William Weiss, Cherie D'Mello**-

**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.

(

**7403**views)

**Metalogic**

by

**Jan Wolenski**-

**ESSLLI**

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.

(

**4770**views)