ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ,
исчисление, символы и правила которого могут быть интерпретированы в терминах логики.
Тегов нет: