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