Электронный каталог

Книга (аналит. описание)

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

1986

основной = аналитика дистант