Computability and Logic

Main
Computers - Programming
Computability and Logic

Computability and Logic

Name: Computability and Logic
ISBN: 9780782128741

George S. Boolos

0 / 0

0 comments

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

Kateqoriyalar:

Computers - Programming

İl:

2002

Nəşr:

Nəşriyyat:

Cambridge University Press

Dil:

english

Səhifələr:

370

ISBN 10: