(formerly Encyclopedic directory)
Bibliographies
Home /
Top /
Science /
Math /
Logic and Foundations /
Publications /
Bibliographies
(formerly Encyclopedic directory)
See also:
|
 |
 |
|
Insert Article
Related articles
|
|
|
|
Webmasters: Add your website here:
Readers: Edit |
Discuss Listings
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.
http://www-logic.uni-kl.de/BIBL/
Mathematics Arxiv Front: LO Logic
Front for the Mathematics Arxive logic section.
http://front.math.ucdavis.edu/math.LO/
References in Finite Model Theory
Bibliography maintained by Argimiro Arratia-Quesada.
http://www.ldc.usb.ve/~arratia/refs/ref.html
Bibliography on Linear Logic
Indexed by author. In HTML, PS, DVI and BibTeX.
http://theory.stanford.edu/~iliano/linearbib/linearbib.html
Set Theory with a Universal Set
List of publications and websites on axiomatic set theories.
http://math.boisestate.edu/~holmes/holmes/setbiblio.html
Journal of Logic and Computation
Unofficial bibliography as part of Hypertext Bibliography Project.
http://liinwww.ira.uka.de/bibliography/Misc/HBP/JLOGC.html
Shelah, Saharon
Personal bibliography hyperlinked.
http://math.rutgers.edu/~shelah/
|
|
