New Materials
The New Materials list contains books and other physical materials added to the collection in the last 90 days. Titles are listed by subject area; the list is updated daily. Select a 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 | ZinesMathematics
Temporal logic : from philosophy and proof theory to artificial intelligence and quantum computing
Centrone, Stefania, author.
QA267.5.T45 C46 2023
Centrone, Stefania, author.
QA267.5.T45 C46 2023
Computability theory and foundations of mathematics : proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics, Wuhan, China, 21-27 March 2019
International Conference on Computability Theory and Foundations of Mathematics Wuhan, China) 2019 : (9th :
QA9.59 .I58 2019
International Conference on Computability Theory and Foundations of Mathematics Wuhan, China) 2019 : (9th :
QA9.59 .I58 2019
The best writing on mathematics.
QA1 .B337 2019
QA1 .B337 2019