Theory of formal systems - Smullyan, Raymond M. 1919-2017 (Princeton Univ. Pr., 1962)
Erscheinungsjahr auf Titelseite "1961"