 |
 |
 |
 |
 |
 |
 |
 |
 Packages for Logic and Set Theory
 |
 |
 |
 |
 |
 |

Organization: | Center for Wave Phenomena, Colorado School of Mines |
 |
 |
 |
 |
 |
 |
 0206-097
 |
 |
 |
 |
 |
 |
 2000-04-10
 |
 |
 |
 |
 |
 |
 The fundamental operations of set theory and logic can be elegantly implemented in Mathematica in terms of the associated Boolean rings.
 |
 |
 |
 |
 |
 |

 |
 |
 |
 |
 |
 |
 boolean logic, set theory, pure mathematics, applied mathematics, associated boolean rings, the Mathematica Journal V2.1
 |
 |
 |
 |
 |
 |

 |
 |
 |
 |
 |
 |

| logic.m (701 B) - Mathematica package | | set.m (1.1 KB) - Mathematica package |
 |
 |