|
|
libcats.org
Handbook of Proof TheoryS.R. BussThis 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.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Вольф Мессинг. Видевший сквозь времяАвтор: Володарский Эдуард ЯковлевичКатегория: Биографии и Мемуары, Историческая проза
Размер книги: 852 Kb
Atlas of Human Anatomy In Three VolumesАвтор: R. D. SinelnikovКатегория: science_books, medicine
Размер книги: 92.81 Mb
Программирование аналого-цифровых вычислительных системАвтор: И. М. Витенберг, Автор: М. Г. Левин, Автор: И. Я. ШорКатегория: АППАРАТУРА, ПРОГРАММИНГ
Размер книги: 5.67 Mb
Political Terrain: Washington, D.C., from Tidewater Town to Global MetropolisАвтор: Carl Abbott
Размер книги: 14.20 Mb
|
|
|