Computability and logic

Main
Mathematics
Computability and logic

Computability and logic

Name: Computability and logic
ISBN: 9780521809757

George S. Boolos, John P. Burgess, Richard C. Jeffrey

0 / 0

0 comments

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

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.

Kategorie:

Mathematics

Rok:

2002

Wydanie:

4th ed

Wydawnictwo:

Cambridge University Press

Język:

english

Strony:

370