Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

Тrое1stra A. S., в кн.: ISILC. Proof theory symposion, В

http://libmeta.ru/resource/mathenc/publication/p1731

Данные

bibliographicCitation

Тrое1stra A. S., в кн.: ISILC. Proof theory symposion, В., 1975, p. 370-83

Входящие связи

← ссылается на · 1

Конструктивного подбора принцип

← цитирует · 1

Конструктивного подбора принцип