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





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