Surf these sites: Hypatia -- Hypatia is a directory of research workers in Computer Science and Pure Mathematics, and a library of their papers. Omega Bibliography -- Almost complete bibliography of mathematical logic and related fields, goes back to Boole and Frege! Note: Name search is case-sensitive. Description in German. References in Finite Model Theory -- Bibliography maintained by Argimiro Arratia-Quesada. xxx Math Front: LO Logic -- Front for the xxx Mathematics Archive
Help build the largest human-edited
directory on the web.