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 |
Computing Fundamentals Salvatore Filippone 2012–2013DocID: 1rp7J - View Document | |
Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at DresdenDocID: 1rgNC - View Document | |
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.DocID: 1r5cs - View Document | |
A Proposal to Add Safe Integer Types to the Standard Library Technical Report Document number: P0228R0DocID: 1r1fn - View Document | |
Microsoft Word - KEK-GRID-CERTCRLPROFdocDocID: 1r0yN - View Document |