Computer & Logic

Dāʼūd al-Ashkashī & Ḥusām al-Dīn al-Kātī (DA-UD AL-ASHKASI & HUSAM AL-DIN AL-KATI)

(Presumably Yemen), 1772.

HORCHER, PHILIPP.

Mainz, Balthazar Lipp, 1605.

TORRES, M.L. (LEONARDO TORRES Y QUEVEDO).

Paris, 1901.

LEIBNIZ, G.G. - LEIBNITZ [+ CHRISTIAN WOLFF].

Leipzig, 1721.

LEUPOLD, JACOB. & ERNST SCHEFFLER.

Leipzig: Christoph Zunkel and Bernhard Christoph Breitkopf, 1727-1739.

TURING, A.M.

London, Hodgson & Son, 1939.

WHITEHEAD, ALFRED NORTH & BERTRAND RUSSELL.

Cambridge, 1910.

CHAUM, DAVID L.

(New York), 1981.

RUSSELL, BERTRAND.

Cambridge, at the University Press, 1903.

CHURCH, ALONZO (+) EMIL L. POST.

Wisconsin, The Association for Symbolic Logic, 1936.

CHURCH, ALONZO (+) ALAN TURING (+) EMIL POST.

[No place], The Association for Symbolic Logic, 1936 & 1937.

TURING, A.M.

London, Hodgson & Son, 1945.

GIBSON, JAMES J.

Boston, etc., Houghton Mifflin, 1950.

[ENGINEERING RESEARCH ASSOCIATES, INC.] C. B. TOMPKINS (+) J. H. WAKELIN (+) W. W. STIFLER JR..

New York, McGraw-Hill, 1950.

BABBAGE, CHARLES. - THE LANGUAGE OF THE COMPUTER INVENTED.

(London, W.Nicol, 1826).

THOMSON, WILLIAM (LORD KELVIN) - AND JAMES THOMSON. - THE "HARMONIC ANALYZER", THE FIRST AUTOMATIC ANALOG COMPUTING MACHINE.

London, Taylor and Francis, 1876-79.

POST, EMIL LEON.

[No place], 1936.

BOOLE, GEORGE.

Cambridge, Macmillan, Barclay, and Macmillan, 1840-1846.