L. Chwistek W. Hetper New Foundation of Formal Metamathematics. 1-36 1938 3 J. Symb. Log. 1 db/journals/jsyml/jsyml3.html#ChwistekH38