Philosophy
Philosophy
BOOLE, GEORG - FOUNDING MODERN DIGITAL COMPUTER SCIENCE.
The Calculus of Logic.Cambridge, Macmillan, Barclay, and Macmillan, 1848.
BELNAP, JR (+) NUAL D.
Intensional Models for First D..(Pittsburgh, Association for Symbolic Logic, 1967).