Computer & Logic

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

Leipzig, 1721.

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

Paris, 1901.

SANDEMOSE, AKSEL.

(Oslo), 1951-55.

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

(Presumably Yemen), 1772.

FARADAY, M. (MICHAEL) - BABBAGE, C. (CHARLES).

(London, W.Nicol, 1826).

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

(London, W.Nicol, 1826).

TURING, A.M.

London, Hodgson & Son, 1945.

TURING, A.M.

London, Hodgson & Son, 1939.

POST, EMIL LEON.

[No place], 1936.

CHURCH, ALONZO (+) EMIL L. POST.

Wisconsin, The Association for Symbolic Logic, 1936.

[VARIOUS AUTHORS].

New York, American Telephone and Telegraph Company, 1971.

RADO, TIBOR.

N.Y., 1962.

WIJNGAARDEN, A. VAN. [EDT.] (+) B. J. MAILLOUX (+) J. E. L. PECK (+) C. H. A. KOSTER

Berlin, Springer-Verlag, 1969.

[VARIOUS AUTHORS].

New York, American Telephone and Telegraph Company, 1963.

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

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

CHAUM, DAVID L.

(New York), 1981.

CARNAP, RUDOLF.

Chicago, University of Chicago Press, 1950.

HARTREE, DOUGLAS R.

London, Macmillan & Co., 1946.