(de) Raymond M. Smullyan, « Undecidability and recursive inseparability », Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 4, nos 7-11, , p. 143–147 (DOI10.1002/malq.19580040705, lire en ligne, consulté le )
(de) Raymond M. Smullyan, « Undecidability and recursive inseparability », Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 4, nos 7-11, , p. 143–147 (DOI10.1002/malq.19580040705, lire en ligne, consulté le )