SAUL KRIPKE (1940-2022). - Sergei Artemov; John P. Burgess; Melvin Fitting; Anandi Hattiangadi (Bull. Symb. Log., 2024)