Directory > Science > Math > Logic and Foundations > Publications > Bibliographies Journal of Logic and Computation Unofficial bibliography as part of Hypertext Bibliography Project. http://liinwww.ira.uka.de/bibliography/Misc/HBP/JLOGC.html Reviews Rating: Not yet Rated
Whois Check
Set Theory with a Universal Set List of publications and websites on axiomatic set theories. http://math.boisestate.edu/~holmes/holmes/setbiblio.html Reviews Rating: Not yet Rated
Whois Check
Bibliography on Linear Logic Indexed by author. In HTML, PS, DVI and BibTeX. http://theory.stanford.edu/~iliano/linearbib/linearbib.html Reviews Rating: Not yet Rated
Whois Check
References in Finite Model Theory Bibliography maintained by Argimiro Arratia-Quesada. http://www.ldc.usb.ve/~arratia/refs/ref.html Reviews Rating: Not yet Rated
Whois Check
Mathematics Arxiv Front: LO Logic Front for the Mathematics Arxive logic section. http://front.math.ucdavis.edu/math.LO/ Reviews Rating: Not yet Rated
Whois Check
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/ Reviews Rating: Not yet Rated
Whois Check
Shelah, Saharon Personal bibliography hyperlinked. http://math.rutgers.edu/~shelah/ Reviews Rating: Not yet Rated
Whois Check
|