Lorenzen, Paul, Einfuhrung in die operative Logik und Mathematik, Springer, Berlin/Gottingen/Heidelberg 1955.
Lorenzen, Paul,"Ein dialogisches Konstruktivitatskriterium", in: Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2 - 9 September 1959, Oxford, etc. (Pergamon) and