Bibliography on Linear Logic: Indexed by author. In HTML, PS, DVI and BibTeX.
Journal of Logic and Computation: Unofficial bibliography as part of Hypertext Bibliography Project.
Mathematics Arxiv Front: LO Logic: Front for the Mathematics Arxive logic section.
References in Finite Model Theory: Bibliography maintained by Argimiro Arratia-Quesada.
Set Theory with a Universal Set: List of publications and websites on axiomatic set theories.
Shelah, Saharon: Personal bibliography hyperlinked.