Бет (Beth) Эверт Виллем (1908-64), нидерландский философ и логик. Выдвинул идею о необходимости синтеза логики, оснований математики, истории точных наук и психологии мышления. В логике разработал метод семантических (аналитических) таблиц, семантику интуиционистской логики и др.
- Метод семантических таблиц // Математическая теория логического вывода. М., 1967.
- L'existence en mathematique. P., 1956.
- La crise de la raison et la logique. P., Louvain, 1957.
- Formal Methods. An Introduction to Symbolic Logic. Dordrecht, 1962.
- Mathematical Thought. Dordrecht, 1965.
- Moderne logika. Assen, 1966.