Поиск :
Личный кабинет :
Электронный каталог: Бабаев, А. А. - Установление эквивалентности выводов в одном исчислении без приведения их в нормальную форму
Бабаев, А. А. - Установление эквивалентности выводов в одном исчислении без приведения их в нормальную форму
Книга (аналит. описание)
Автор: Бабаев, А. А.
Восьмая Всесоюзная конференция по математической логике. Посвящается 85-летию академика П. С. Новикова (Москва, 16-18 сентября 1986 г.): Установление эквивалентности выводов в одном исчислении без приведения их в нормальную форму
б.г.
ISBN отсутствует
Автор: Бабаев, А. А.
Восьмая Всесоюзная конференция по математической логике. Посвящается 85-летию академика П. С. Новикова (Москва, 16-18 сентября 1986 г.): Установление эквивалентности выводов в одном исчислении без приведения их в нормальную форму
б.г.
ISBN отсутствует
Книга (аналит. описание)
Бабаев, А. А.
Установление эквивалентности выводов в одном исчислении без приведения их в нормальную форму / А. А. Бабаев // Восьмая Всесоюзная конференция по математической логике. Посвящается 85-летию академика П. С. Новикова (Москва, 16-18 сентября 1986 г.) : тезисы докладов / Московский гос. пед. ин-т им. В. И. Ленина; Отв. ред. С. Н. Артемов . - Москва : МГПИ им. В. И. Ленина, 1986 . - С. 8 . - Библиогр.: с. 8 . - На рус. яз.
1986
основной = аналитика дистант
Бабаев, А. А.
Установление эквивалентности выводов в одном исчислении без приведения их в нормальную форму / А. А. Бабаев // Восьмая Всесоюзная конференция по математической логике. Посвящается 85-летию академика П. С. Новикова (Москва, 16-18 сентября 1986 г.) : тезисы докладов / Московский гос. пед. ин-т им. В. И. Ленина; Отв. ред. С. Н. Артемов . - Москва : МГПИ им. В. И. Ленина, 1986 . - С. 8 . - Библиогр.: с. 8 . - На рус. яз.
1986
основной = аналитика дистант