This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.