Author: Friedrich Waismann, Karl Menger, Theodore J. Benac