Philosophy
Philosophy
QUINE, WILLARD ORMAN VAN (+) S. C. KLEENE.
[QUINE:] Completeness of the P..(Wisconsin), The Association for Symbolic Logic, 1937.
BOOLE, GEORG - FOUNDING MODERN DIGITAL COMPUTER SCIENCE.
The Calculus of Logic.Cambridge, Macmillan, Barclay, and Macmillan, 1848.