• 23 Memorial Library
• 9 Science Libraries Shelving Facility
• 4 College Library
• 3 Steenbock Library
• 1 AOSS Library
• 1 Ebling Library
• 1 Special Collections (Memorial Library)
• 1 Verona Shelving Facility

• 391 Books
• 3 Computer file
• 1 Manuscripts, Theses

• 66 Mathematics
• 56 Philosophy
• 29 Set theory
• 11 Proof theory
• 10 Computational complexity
• 10 Logic
• 9 Computable functions
• 9 Computer science
• 9 History
• 7 Model theory
• 7 Number theory
• 6 Algebra
• 6 Modality (Logic)
• 6 Science
• 5 Algebra, Abstract
• 5 Algorithms
• 5 Artificial intelligence
• 5 Categories (Mathematics)
• 5 Combinatorial analysis
• 5 Foundations
• 5 Gödel, Kurt
• 5 Mathematical analysis
• 5 Mathematical models
• 5 Mathematicians

• 18 Association for Symbolic Logic
• 7 Hilbert, David, 1862-1943
• 6 Gödel, Kurt
• 5 Carnap, Rudolf, 1891-1970
• 5 Church, Alonzo, 1903-1995
• 5 Gabbay, Dov M., 1945-
• 4 Ackermann, W. (Wilhelm), 1896-1962
• 4 Curry, Haskell B. (Haskell Brooks), 1900-1982
• 4 Dalen, D. van (Dirk), 1932-
• 4 Epstein, Richard L., 1947-
• 4 Feferman, Solomon
• 4 Flum, Jörg
• 4 International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
• 4 Quine, W. V. (Willard Van Orman)
• 4 Robinson, Abraham, 1918-1974
• 4 Rosser, J. Barkley (John Barkley), 1907-1989
• 4 Tarski, Alfred, 1901-1983
• 3 American Mathematical Society
• 3 Bell, J. L. (John Lane)
• 3 Boolos, George
• 3 Burgess, John P., 1948-
• 3 Carnielli, Walter A. (Walter Alexandre)
• 3 Cooper, S. B. (S. Barry)
• 3 Ebbinghaus, Heinz-Dieter, 1939-
• 3 Feys, Robert, 1889-

• 365 English
• 22 German
• 12 French
• 7 Russian
• 5 Undetermined
• 2 Romanian
• 1 Dutch
• 1 Polish

• 2 Austria
• 2 Germany
• 1 Great Britain
• 1 Oostenrijk
• 1 United States

Limit year range