Wolfram ResearchProductsPurchasingServices & ResourcesAbout UsOur Sites

Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Packages for Logic and Set Theory
Author

Jack K. Cohen
Organization: Center for Wave Phenomena, Colorado School of Mines
Old MathSource #

0206-097
Revision date

2000-04-10
Description

The fundamental operations of set theory and logic can be elegantly implemented in Mathematica in terms of the associated Boolean rings.
Subjects

*Mathematics > Foundations of Mathematics > Logic
*Mathematics > Foundations of Mathematics > Set Theory
Keywords

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

*Packages for Logic and Set Theory   [in Articles]
Downloads Download Mathematica Player

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


 © 2008 Wolfram Research, Inc.  Terms of Use  Privacy Policy |
Sign up for our newsletter: