Построение логических исчислений с короткими выводами

	Библиотеки, издания • Поиск публикаций	English
	Публикация

Препринт ИПМ № 11, Москва, 1991 г.

Авторы: Бардин М.Д.

Язык публикации: русский

Экспорт ссылки на публикацию в формате:

Сведения об авторах:

Бардин М.Д.