Logo

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

Small book cover: Hack, Hack, Who's There? A Gentle Introduction to Model Theory

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

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

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: Model Theory, Algebra and GeometryModel Theory, Algebra and Geometry
by - 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.
(15371 views)
Book cover: Model TheoryModel Theory
by - The Pennsylvania State University
An important branch of mathematical logic is model theory, the study of first-order theories and the classes of models defined by such theories. This course will include numerous applications of model theory to algebra, especially ordered fields ...
(2536 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.
(10134 views)
Book cover: MetalogicMetalogic
by - 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.
(7206 views)