- 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, no. 16, 2021, 1859
- Mojtaba Mojtahedi, 28, Dick de Jongh on Intuitionistic and Provability Logics, 2024, 89