Di 17 5 – 7 ½SmullyanPSmullyan, Raymond M., 1919–2017, am. Philosoph, später TennenbaumPTennenbaum, Stanley, 1927–2005, am. Logiker und AnenkePAnenke. (Seminar über eine semantische Methode, mit Scheinvariablen.)
Processed with \(\mathsf{valep\TeX}\), Version 0.1, May 2024.