Філософський енциклопедичний словник
формальна логіка
див.
логіка формальна
Філософський енциклопедичний словник
формальна етика
формалізація