Skip to main content

Logic and the Methodology of Science: Start

A guide to research resources on mathematical logic.

Logic Collection

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.

Campus Library Map

Select the image below to see the full campus library map.

Campus map of UCB Libraries

See also:

Off-campus Access

To access UCB Library resources from off campus, configure your machine using one of two simple methods (Proxy Server is the quickest and easiest):

Proxy Server 
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.

VPN (Virtual Private Network) 
After you install and run the VPN client software on your computer, you can log in with a CalNet ID to establish a secure connection with the campus network.

Borrow externally

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.

Mathematics & Statistics Librarian

Brian Quigley's picture
Brian Quigley
Engineering Library
110 Bechtel Engineering Center
(510) 642-5729
Copyright © 2014-2016 The Regents of the University of California. All rights reserved. Except where otherwise noted, this work is subject to a Creative Commons Attribution-Noncommercial 4.0 License.