by John H. H. Kuhlmann. By John H. Kuhlmann. by John E. Ullmann. by John von Numann. [by] J. R. Ullmann. by Arnold L. Reimann.