libcats.org
Главная

Handbook of proof theory

Обложка книги Handbook of proof theory

Handbook of proof theory

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Популярные книги за неделю:

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

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

Древо жизни

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

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

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Четыре семьсот пятьдесят

Автор:
Размер книги: 49 Kb

Навеки твой

Автор:
Размер книги: 908 Kb

Юрий Никитин. Князь Владимир [том 2]

Автор:
Размер книги: 838 Kb

Эрик

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

Longevity and Social Change in Australia

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