Kovad, Sreko, cLogical Foundations and Kans Principles of Formal Logicd, History and Philosophy of Logic 40 (2020)
V. Peckhaus, Mathematical Reviews [4053233] (2021).