Кстати, возможно тут есть заинтересованные люди, кто упустил серию видео по Фреге. На канале логик разбирает некоторые аспекты истории логики, биографии Фреге, тонкости переводов работ, ряд логических наработок Фреге с опорой на книги самого Фреге.
Например эти видео обратили моё внимание на то, что у Фреге в работах (не а бы каких!) уже были известные правила Бернайса