1. Jan Łukasiewicz, Aristotle’s Syllogistic from the standpoint of Modern Formal Logic. Oxford, 1951, p. 78.
2. In this section we employ the results of Stanisław Jaśkowski, Karl Menger, Karl Schröter, and D. C. Gerneth. See Paul Rosenbloom, The Elements of Mathematical Logic. New York, 1950, ch. 4, sec. 1, for a discussion and further references.
3. For a description of computer components see Engineering Research Associates, High Speed Computing Devices. New York, 1950.