URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Такеути Г. Теория доказательств. Пер. с анг.
Id: 15259
 
699 руб.

Теория доказательств. Пер. с анг.

1978. 414 с. Твердый переплет. Букинист. Состояние: 4+. Есть погашенная библиотечная печать.

 Аннотация

Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчисления предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательство устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами.

 
© URSS 2016.

Информация о Продавце