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

Organization: | Center for Wave Phenomena, Colorado School of Mines |
 |
 |
 |
 |
 |
 |

 |
 |
 |
 |
 |
 |
 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
 |
 |
 |
 |
 |
 |

 |
 |
 |
 |
 |
 |
 http://www.mathematica-journal.com/issue/v2i1/
 |
 |