Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 41 related to Mathematical Logic.   

Mathematical Logic

Joseph R. Shoenfield - Mathematics - 2018 - 356 pages
This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical ...
Limited preview - About this book

Mathematical Logic

Stephen Cole Kleene - Mathematics - 2013 - 416 pages
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including ...
Limited preview - About this book

Popular Lectures on Mathematical Logic

Hao Wang - Mathematics - 2014 - 292 pages
Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, proof theory, logic ...
Limited preview - About this book

Alan Turing: His Work and Impact

S. Barry Cooper, J. van Leeuwen - Mathematics - 2013 - 944 pages
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical ...
Limited preview - About this book

Introduction to Mathematical Logic

Micha? Walicki - Mathematics - 2012 - 268 pages
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for ...
Limited preview - About this book

A Profile of Mathematical Logic

Howard DeLong - Mathematics - 2012 - 320 pages
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer ...
Limited preview - About this book

A Beginner's Guide to Mathematical Logic

Raymond M. Smullyan - Mathematics - 2014 - 304 pages
Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related ...
Limited preview - About this book

What Is Mathematical Logic?

J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell - Mathematics - 2012 - 96 pages
A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of ...
Limited preview - About this book

The Essential Turing

B. Jack. Copeland - Science - 2004 - 620 pages
Alan Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his ...
Limited preview - About this book


P.T. Saunders - Computers - 1992 - 131 pages
The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and ...
Limited preview - About this book

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