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.
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.
Set Theory with a Universal Set
List of publications and websites on axiomatic set theories.