1. 1929 Zur intuitionistischen Themie der unendlichen Reihen;Belinfantme,1929
2. Semantical considerations on intuitionistic mathematics;Beth;Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the Section of Sciences,1947
3. Beth, Evert W. 1955. Les fondements logiques des mathématiques (2e éd. revue et augmentée). Paris (Gauthier-Villars) and Louvain (E. Nauwelaerts), xv+241 pp.
4. Semantic entailment and formal derivability;Beth;Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. letterkunde,1955
5. Semantic construction of infuitionistic logic;Beth;Ibid.,1956