Матэнциклопедия ПонятиеСтатья Матэнциклопедии

Выводимость

http://libmeta.ru/thesaurus/mathencyclopedia/Выводимость

Определение

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

близко к

Derivability

тезаурус

Математическая энциклопедия