First Page | Document Content | |
---|---|---|
Date: 2008-12-30 11:47:48Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction | SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK.Add to Reading ListSource URL: reduce-algebra.comDownload Document from Source WebsiteFile Size: 107,46 KBShare Document on Facebook |