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

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

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

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

Perspectives on the History of Mathematical Logic

Thomas Drucker - Mathematics - 2008 - 195 pages
This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical ...
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

The Theory of Functions of Real Variables: Second Edition

Lawrence M Graves - Mathematics - 2012 - 400 pages
This balanced introduction covers all fundamentals, from the real number system and point sets to set theory and metric spaces. Useful references to the literature conclude ...
Limited preview - About this book

Popular Lectures on Mathematical Logic

Hao Wang - Mathematics - 2014 - 292 pages
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys ...
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

An Introduction to Gödel's Theorems

Peter Smith - Mathematics - 2013
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical ...
Limited preview - About this book

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