libcats.org
Главная

Computability and Logic

Обложка книги Computability and Logic

Computability and Logic

, ,
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply 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. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

SIP: Understanding the Session Initiation Protocol

Автор:
Размер книги: 2.45 Mb

General relativity: a geometric approach

Автор:
Размер книги: 3.38 Mb

Soil Ecology in Sustainable Agricultural Systems

Автор: , Автор:
Размер книги: 4.02 Mb

Handbook of Ugaritic Studies (Handbook of Oriental Studies)

Автор: , Автор:
Размер книги: 53.36 Mb

Analytic Philosophy and the Nature of Thought

Автор:
Категория: fiction
Размер книги: 62 Kb

Pulsar-Codes

Автор: , Автор:
Категория: fiction
Размер книги: 854 Kb

El Futuro Del Tiempo Como Medir Su Transcurso

Автор:
Категория: fiction
Размер книги: 434 Kb