В частности, мы предоставляем ему разобраться с понятиями подформулы, свободного и связанного вхождений переменной в ... - Большая Энциклопедия Нефти и Газа
В частности, мы предоставляем ему разобраться с понятиями подформулы, свободного и связанного вхождений переменной в формулу и дать точное ( основанное на определениях 1.3.1 и 1.3.3) определение подстановки терма на место переменной в формулу.
