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
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.
(12275 views)
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.
(17194 views)
Fundamentals of Model Theoryby 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.
(12520 views)
Model Theoryby 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.
(10743 views)