This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other. If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles
and Educational Resources
. If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.