Большой энциклопедический словарь - бет (beth) эверт виллем

БЕТ (Beth) Эверт Виллем (1908-64) нидерландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику интуиционистской логики и др. .