Энциклопедический словарь

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