- Volker Halbach, Albert Visser, The Life and Work of Leon Henkin, 2014,
249 
- Fedor Pakhomov, 10388, Logic, Language, Information, and Computation, 2017,
281 - Vladimir Olegovich Lobovikov, “A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System”, Mathematics, 9, № 16, 2021,
1859 - Mojtaba Mojtahedi, 28, Dick de Jongh on Intuitionistic and Provability Logics, 2024,
89