Jozef Pepis Ein Verfahren der Mathematischen Logik. 61-76 1938 3 J. Symb. Log. 2 db/journals/jsyml/jsyml3.html#Pepis38