More abstract concepts such as formal logic, set theory and roots in philosophy are documented here.

See also How-tos and Reviews of articles and books