Sandu, Gabriel, cIF First-Order Logic, Kripke, and 3-Valued Logicd, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 2543270
V. Peckhaus, zbMATH Open, Zbl. 0877.03011 (1998).