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

Mathematical Logic

George Tourlakis - Mathematics - 2011 - 294 pages
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and ...
Limited preview - About this book

Computability, Complexity, Logic

E. B÷rger - Computers - 1989 - 591 pages
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of ...
Limited preview - About this book

Handbook of Computability Theory

E.R. Griffor - Computers - 1999 - 724 pages
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest ...
Limited preview - About this book

Provability, Computability and Reflection

Lev D. Beklemishev - Mathematics - 2000 - 319 pages
Provability, Computability and Reflection
Limited preview - About this book

Model Theory

C.C. Chang, H.J. Keisler - Computers - 1990 - 649 pages
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard ...
Limited preview - About this book

Lectures on the Curry-Howard Isomorphism

Morten Heine S°rensen, Pawel Urzyczyn - Computers - 2006 - 456 pages
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory ...
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
This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient ...
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

Alan Turing: His Work and Impact: His Work and Impact

S. Barry Cooper, J. van Leeuwen - Mathematics - 2013 - 944 pages
Affordable, key collection of the most significant papers by A.M. Turing. Commentary explaining the significance of each seminal paper by preeminent leaders in the field ...
Limited preview - About this book

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