Packages for Logic and Set Theory -- from Wolfram Library Archive

Title

Packages for Logic and Set Theory

Author

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

Downloads

logic.m (701 B) - Mathematica package

set.m (1.1 KB) - Mathematica package

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how »