Boole ’ sche Algebra

von G. Boole zum Zweck logischer Untersuchungen entwickelte formale Algebra. Aussagenlogik , Menge , Schaltalgebra .