Большая биографическая энциклопедия

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

Бет (Beth), Эверт Виллем

(1908—1964), голландский философ и логик, разработал семантику интуиционистской логики, метод семантических (аналитических) таблиц и др.

Большая биографическая энциклопедия