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