Chapter 2, Pp. 18-52, Is an Excellent and

understandable summary of the concepts of mathematical logic.

Several papers on the application of mathematical logic to the analysis of practical situations are:

BERKELEY, EDMUND C., Boolean Algebra (The Technique for Manipulating “And,” “Or,” “Not,” and Conditions) and Applications to Insurance, Record of the American Institute of Actuaries, vol. 26, Oct. 1937, pp. 373-414.

BERKELEY, EDMUND C., Conditions Affecting the Application of Symbolic Logic, Journal of Symbolic Logic, vol. 7, no. 4, Dec. 1942, pp. 160-168.

SHANNON, CLAUDE E., A Symbolic Analysis of Relay and Switching Circuits, Transactions of the American Institute of Electrical Engineers, vol. 57, 1938, pp. 713-723.

This paper has had a good deal of influence here and there on the development of electric circuits using relays.

The following report discusses the solution of some problems of mathematical logic by means of a large-scale digital calculator:

TARSKI, ALFRED, A Decision Method for Elementary Algebra and Geometry, Report R-109, California: Rand Corporation, Aug. 1, 1948, 60 pp.

OTHER DIGITAL MACHINES FINISHED OR UNDER DEVELOPMENT

The Aiken Mark II Relay Calculator

The Computation Laboratory of Harvard University finished during 1947 a second large relay calculator, called the Aiken Mark II Relay Calculator. This machine is alluded to briefly at the end of Chapter 10 and is described more fully in the following:

CAMPBELL, ROBERT V. D., Mark II Calculator, Proceedings of a Symposium on Large-Scale Digital Calculating Machinery, Cambridge, Mass.: Harvard University Press, 1948, pp. 69-79.

FREELAND, STEPHEN L., Inside the Biggest Man-Made Brain, Popular Science, May 1947, pp. 95-100.

MILLER, FREDERICK G., Application of Printing Telegraph Equipment to Large-Scale Calculating Machinery, Proceedings of a Symposium on Large-Scale Digital Calculating Machinery, Cambridge, Mass.: Harvard University Press, 1948, pp. 213-222.

The Edsac

The Edsac is a machine under construction in England.

WILKES, M. V., The Design of a Practical High-Speed Computing Machine: the EDSAC, Proceedings of the Royal Society, series A, vol. 195, 1948, pp. 274-279.

WILKES, M. V., and W. RENWICK, An Ultrasonic Memory Unit for the EDSAC, Electronic Engineering, vol. 20, no. 245, July 1948, pp. 208-213.

The Edvac

The Edvac is a machine under construction at the Moore School of Electrical Engineering, Philadelphia.

KOONS, FLORENCE, and SAMUEL LUBKIN, Conversion of Numbers from Decimal to Binary Form in the EDVAC, Mathematical Tables and Other Aids to Computation, vol. 3, no. 26, Apr. 1949, pp. 427-431.

ANONYMOUS, EDVAC Replaces ENIAC, The Pennsylvania Gazette, Philadelphia: University of Pennsylvania, vol. 45, no. 8, Apr. 1947, pp. 9-10.

The IBM Selective-Sequence Electronic Calculator

The IBM Selective-Sequence Electronic Calculator was finished and announced in January 1948, and is alluded to briefly at the end of