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