Abstract

Prefaced by the historical and systematic background necessary for understanding and appreciating Gödel's 1931 work, this book gives a clear and comprehensive presentation of Gödel's theorem, its variants, applications, and parallels, including its development with respect to semantics, combinatory systems, and theory of models.--P. J.