(Frege) Готлоб (1848-1925) - немецкий логик, математик и философ,основоположник логицизма. Дал первую аксиоматику логики высказываний ипредикатов, построил первую систему формализованной арифметики. Один изосновоположников логической семантики.




Ссылка на выделенный текст