Системы логики, характеризующиеся попыткой сведения логических рассуждений к формальным вычислениям
(ответ смотрите ниже)
Вопрос: Системы логики, характеризующиеся попыткой сведения логических рассуждений к формальным вычислениям - сканворд, кроссворд. Количество символов: 9 букв