Он был преподавателем высшей школы, с 1946 по 1964 гг. профессор математической логики, истории логики и философии науки в Амстердамском университете. Содействовал становлению логики как академической дисциплины.
Бет разработал семантические таблицы, которые названы таблицами Бета, для логики предикатов и семантику интуционистской логики.
Труды
- De wijsbegeerte der wiskunde van Parmenides tot Bolzano. Standaard Boekhandel, Antwerpen 1944.
- Symbolische Logik und Grundlegung der exakten Wissenschaften (Bibliographische Einf?hrung in das Studium der Philosophie). Francke, Bern 1948.
- Les fondements logiques des math?matiques. 1950.
- The Foundations of Mathematics. Standaard Boekhandel, Amsterdam 1959.
- совместно с Жаном Пиаже: pist?mologie math?matique et psychologie. Essai sur les realtions entre la logique formelle et la pens?e r?elle. Presses Universitaires de France, Paris 1961.
- Mathematical Thought. An Introduction to the Philosophy of Mathematics. Reidel, Dordrecht 1965.
