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

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

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

Аннотация

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