Stunning.com Directory - Bibliographies

Home / Science / Math / Logic and Foundations / Publications / Bibliographies

See Also

Web Sites

Annals of Pure and Applied Logic - Unofficial bibliography as part of Hypertext Bibliography Project.
theory.lcs.mit.edu/~dmjones/hbp/apal
Bibliography on Linear Logic - Indexed by author. In HTML, PS, DVI and BibTeX.
theory.stanford.edu/~iliano/linearbib/linearbib.html
Journal of Logic and Computation - Unofficial bibliography as part of Hypertext Bibliography Project.
theory.lcs.mit.edu/~dmjones/hbp/jlogc
Notre Dame Journal of Formal Logic - Unofficial bibliography as part of Hypertext Bibliography Project.
theory.lcs.mit.edu/~dmjones/hbp/ndjfl
References in Finite Model Theory - Bibliography maintained by Argimiro Arratia-Quesada.
www.ldc.usb.ve/~arratia/refs/ref.html
Set Theory with a Universal Set - List of publications and websites on axiomatic set theories.
math.boisestate.edu/~holmes/holmes/setbiblio.html
Shelah, Saharon - Personal bibliography hyperlinked.
math.rutgers.edu/~shelah
xxx Math Front: LO Logic - Front for the xxx Mathematics Archive
front.math.ucdavis.edu/math.LO
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.
www-logic.uni-kl.de/BIBL