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.