Поиск :
Личный кабинет :
Электронный каталог: Тимофеева, Ирина Леонидовна - Конструктивное доказательство теоремы о полноте пропозициональной системы натурального выхода
Тимофеева, Ирина Леонидовна - Конструктивное доказательство теоремы о полноте пропозициональной системы натурального выхода
Книга (аналит. описание)
Автор: Тимофеева, Ирина Леонидовна
Научные труды математического факультета МПГУ: Конструктивное доказательство теоремы о полноте пропозициональной системы натурального выхода
б.г.
ISBN отсутствует
Автор: Тимофеева, Ирина Леонидовна
Научные труды математического факультета МПГУ: Конструктивное доказательство теоремы о полноте пропозициональной системы натурального выхода
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна.
Конструктивное доказательство теоремы о полноте пропозициональной системы натурального выхода / И. Л. Тимофеева // Научные труды математического факультета МПГУ : Юбилейн. сб. : 100 лет / Моск. пед. гос. ун-т; гл. ред. В. Л. Матросов . - Москва : Прометей, 2000 . - С. 83-89 . - Библиогр.: с. 89 . - На рус. яз.
2000
основной = аналитика дистант
Тимофеева, Ирина Леонидовна.
Конструктивное доказательство теоремы о полноте пропозициональной системы натурального выхода / И. Л. Тимофеева // Научные труды математического факультета МПГУ : Юбилейн. сб. : 100 лет / Моск. пед. гос. ун-т; гл. ред. В. Л. Матросов . - Москва : Прометей, 2000 . - С. 83-89 . - Библиогр.: с. 89 . - На рус. яз.
2000
основной = аналитика дистант