Category:Logic

From Openresearch
Revision as of 10:03, 24 December 2008 by Floebe (talk | contribs) (new(?))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Logic in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification).