Sandu, Gabriel, cIF First-Order Logic, Kripke, and 3-Valued Logicd, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 2543270
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).