Akademik

ВЫВОДИМОСТЬ

-см. Вывод логический, Исчисление.

Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.