Computability and Logic
Books / Paperback
Books › Philosophy › General
ISBN: 0521389232 / Publisher: Cambridge University Press, September 1989
This third edition of Computability and Logic has been corrected and contains thoroughly revised ver...
Read More
This third edition of Computability and Logic has been corrected and contains thoroughly revised versions of the chapters on Ramsey and probability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the nonexistence of nonstandard recursive models of Z.
Read Less