Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 11 - 20 of about 47 related to Godel, Escher, Bach: An Eternal Golden Braid.   

Introduction to Higher-Order Categorical Logic

J. Lambek, P. J. Scott - Mathematics - 1988 - 304 pages
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another ...
Limited preview - About this book

Logic for Mathematicians

A. G. Hamilton - Mathematics - 1988 - 228 pages
This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general.
Limited preview - About this book

A Shorter Model Theory

Wilfrid Hodges - Mathematics - 1997 - 310 pages
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard ...
Limited preview - About this book

Metamathematics, Machines and Gödel's Proof

N. Shankar - Computers - 1997 - 202 pages
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Limited preview - About this book

An Introduction to Non-Classical Logic

Graham Priest - Mathematics - 2001 - 242 pages
This book is an introduction to non-classical propositional logics. It brings together for the first time in a textbook a range of topics in logic, many of them of relatively ...
Limited preview - About this book

Sets for Mathematics

F. William Lawvere, Robert Rosebrugh - Mathematics - 2003 - 261 pages
In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.
Limited preview - About this book

Modelling with Differential and Difference Equations

Glenn Fulford, Peter Forrester, Arthur Jones - Mathematics - 1997 - 405 pages
The theme of this book is modeling the real world using mathematics. The authors concentrate on the techniques used to set up mathematical models and describe many systems in ...
Limited preview - About this book

Complexity and Information

J. F. Traub, A. G. Werschulz - Computers - 1998 - 139 pages
The twin themes of computational complexity and information pervade this book. It starts with an introduction to information-based complexity, that is, the computational ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search