The Mathematica Journal

Search

About the Journal
Current Issue
Editorial Policy
Submissions
Back Issues
Contact Information

index.html

Packages for Logic and Set Theory

Volume 2, Issue 1
1992
Jack K. Cohen, 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.

     
About Mathematica 
© Wolfram Media, Inc. All rights reserved.