Provability, Computability and Reflection (Google eBook)

Front Cover
Elsevier, Jun 15, 2009 - Mathematics - 609 pages
0 Reviews
Provability, Computability and Reflection
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

PART TWO HISTORY OF MODERN LOGIC
145
PART THREE APPLICATIONS OF MODEL THEORY
253
PART FOUR RECURSION THEORY
371
PART FIVE COMPLEXITY OF COMPUTATIONS
469
PART SIX SET THEORY
519
Copyright

Common terms and phrases