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.

First Page		Document Content
Date: 2008-12-30 11:47:48 Mathematical 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 List Source URL: reduce-algebra.com Download Document from Source Website File Size: 107,46 KB Share Document on Facebook

	Computing Fundamentals Salvatore Filippone 2012–2013 DocID: 1rp7J - View Document
	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden DocID: 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: P0228R0 DocID: 1r1fn - View Document
	Microsoft Word - KEK-GRID-CERTCRLPROFdoc DocID: 1r0yN - View Document