Boolean model

#	Item
351	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-09-11 11:45:04 Boolean algebra Propositional calculus Topology Computational complexity theory Interval-valued computation Model theory Propositional variable True quantified Boolean formula Interval Mathematics Mathematical logic Logic
352	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:43 Metalogic Model theory Logic in computer science Formal languages Propositional calculus Substitution Symbol Boolean satisfiability problem Structure Mathematics Logic Theoretical computer science