Wolfram Library Archive


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

Packages for Logic and Set Theory
Author

Jack K. Cohen
Organization: Center for Wave Phenomena, Colorado School of Mines
Journal / Anthology

The Mathematica Journal
Year: 1992
Volume: 2
Issue: 1
Page range: 91-93
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 MathSource: Packages and Programs]
URL

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