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.
To access UCB Library resources from off campus, configure your machine using one of two simple methods (Proxy Server is the quickest and easiest):
After you make a one-time change in your web browser settings, the proxy server will ask you to log in with a CalNet ID when you click on the link to a licensed resource. See the setup instructions, FAQ, and Troubleshooting pages to configure your browser. Follow these steps to check your proxy configuration.
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.