Surf these sites: Abstract Service -- From the Institute for Logic at the University of Vienna. Mathematical Logic and Foundations -- From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logica and set theory.
Help build the largest human-edited
directory on the web.