The Mathematics Statistics Library maintains a collection on mathematical logic in support of the Group in Logic and the Methodology of Science. Materials on mathematical logic and related areas may also be found in the following libraries:
This collection is generously supported by the Professor William Craig Endowment Fund for Maintaining Strength in Logic and Related Areas. In addition, the Group maintains its own Logic Library of reprints, dissertations, key texts, and other materials in the Alfred Tarski Room (727 Evans). This collection is for use by faculty and graduate students.
We offer two ways to access UCB licensed library resources from off-campus:
When accessing a library licensed resource via links found on OskiCat, Start your Search, or our Databases A-Z list, you will be prompted to authenticate via CalNet or via your PIN / Cal 1 card number. If you normally search via non-licensed UCB resources (such as Google Scholar), you may need to install our bookmarklet in order to authenticate.
Note: EZProxy will replace the library's previous proxy solution. More information on EZProxy can be found on our EZProxy guide.
If Berkeley does not own a publication, you can borrow it from an external library by requesting an interlibrary loan.
This is a free service to Berkeley faculty, staff, and students, and you make an order through the Interlibrary Borrowing Service request form.
If it’s a print book, a copy will be delivered to the Doe Library for pick up. For journal articles, we email you a PDF copy of the paper. This service takes 1-2 weeks, sometimes longer.