TY - BOOK AU - Boole George TI - Investigation of the laws of thought, on which are founder the mathematical theories of logic and probabilities U1 - 164 PY - 1854/// CY - New York PB - Dover KW - Mathematical logic KW - Symbolic logic ER -