Справочная книга по математической логике : в 4-х ч. : пер. с англ. Ч. 4, Теория доказательств и конструктивная математика / ред. Дж. Барвайс.

Інтелектуальна відповідальність: Вид матеріалу: Серіальне виданняСеріальне виданняПублікація: М. : Наука, 1983.Опис: 392 сТип вмісту:
  • текст
Тип засобу:
  • прямий доступ
Тип носія:
  • аркуш
Мітки з цієї бібліотеки: Немає міток з цієї бібліотеки для цієї назви. Ввійдіть, щоб додавати мітки.
Оцінки зірочками
    Середня оцінка: 0.0 (0 голос.)