New Materials

The New Materials list contains books and other physical materials added to the collection in the last 30 days. Titles are listed by subject area; the list is updated daily. Click on the title to view location, availability, and requesting information.

Anthropology | Art | Biology | Chemistry | Computer Science | Dance | Economics | Environmental Studies | Film | Greek, Latin, and Ancient Mediterranean Studies | General Science and Technology | General Social Science | History | Language, Literature, and Linguistics | Media | Music | Philosophy | Physics | Political Science and Law | Psychology | Religion | Sociology | Special Collections | Statistics | Theatre |


Data sketches
Bremer, Nadieh, author.
QA76.9.I52 B74 2020
Sets, logic, and categories
Cameron, Peter J. 1947- (Peter Jephson),
QA248 .C17 1999
Mathematical logic
Ebbinghaus, Heinz-Dieter, 1939-
QA9 .E2213 1984
First-order logic and automated theorem proving
Fitting, Melvin, 1942-
QA76.9.A96 F68 1990
The Radon transform
Helgason, Sigurdur, 1927-
QA649 .H44 1999
Enumerability, decidability, computability. An introduction to the theory of recursive functions.
Hermes, Hans.
QA248.5 .H413 1969
Real and abstract analysis : a modern treatment of the theory of functions of a real variable
Hewitt, Edwin, 1920-
QA331.5 .H38 1969
The Mordell conjecture : a complete proof from diophantine geometry
Ikoma, Hideaki, author.
QA565 .I36 2022
Transformation groups in differential geometry
Kobayashi, Shò„shichi, 1932-2012.
QA649 .K55 1995
Introduction to mathematical logic : set theory, computable functions, model theory
Malitz, Jerome, 1936-
QA9 .M265 1979
A concise introduction to mathematical logic
Rautenberg, Wolfgang.
QA9 .R26513 2006
Parallel and high performance computing
Robey, Robert, author.
QA76.642 .R63 2021
Reflections on quanta, symmetries, and supersymmetries
Varadarajan, V. S.
QA174.7.S96 V37 2011