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