Heinrich Scholz G. Kreisel Leon Henkin Problems. 160 1952 17 J. Symb. Log. 2 db/journals/jsyml/jsyml17.html#ScholzKH52