Форма с оператором между операндами называется инфиксной записью. Форма с оператором после операндов называется постфиксной, или обратной польской записью в честь польского логика Я. Лукасевича (1958), который изучал свойства этой записи.

Не совсем верно. Лукасевич изобрел польскую нотацию (префиксную). На ее основе более чем через 30 лет была разработана обратная польская запись (постфиксная).