Mathematics

BOOLE, GEORG - FOUNDING MODERN DIGITAL COMPUTER SCIENCE.

Cambridge, Macmillan, Barclay, and Macmillan, 1848.

PLÜCKER, JULIUS.

(Berlin, G. Reimer, 1830).

PLÜCKER, JULIUS.

Berlin, G. Reimer, 1839.

ROBINSON, ABRAHAM.

Amsterdam, London, North-Holland, (1974).

FOURIER, (JEAN BAPTISTE JOSEPH). - FOURIER'S THEORY OF EQUATIONS.

Paris, Firmin Didot Frères, (1830) 1831.

CARNAP, RUDOLF.

Chicago, (1947).

FOX, L.

Oxford, Clarendon Press, (1964).

KLEENE, S. C. [STEPHEN COLE].

Wisconsin, The Association for Symbolic Logic, 1938-39.

HILBERT, DAVID.

Leipzig, B.G. Teubner, 1888.

MORGAN, AUGUSTUS de.

London, Routledge & Kegan Paul, 1966.

WEYL, HERMANN.

Leipzig, B.G. Teubner, 1910.

QUINE, WILLARD ORMAN VAN (+) S. C. KLEENE.

(Wisconsin), The Association for Symbolic Logic, 1937.

DEDEKIND, VON R.

Leipzig, B.G. Teubner, 1897.

BROUWER, L. E. J. [LUITZEN EGBERTUS JAN]. (+) DAVID HILBERT.

Leipzig, B.G. Teubner, 1912.

HILBERT, DAVID.

Leipzig, B.G. Teubner, 1912.

MOORE, ELIAKIM HASTINGS.

Leipzig, B.G. Teubner, 1896.

CLEBSCH, RUDOLF FRIEDRICH ALFRED.

Berlin, Georg Reimer, 1866.

GUDERMANN, CHRISTOPH.

Berlin, G. Reimer, 1830.