Эверт Виллем Бет

Он был преподавателем высшей школы, с 1946 по 1964 гг. профессор математической логики, истории логики и философии науки в Амстердамском университете. Содействовал становлению логики как академической дисциплины.Бет разработал семантические таблицы, которые названы таблицами Бета, для логики предикатов и семантику интуционистской логики.