- Capturing Sound: How Technology Has Changed Music Mark Katz Fri 10 April 2020
- Model Theory of Fields David Marker Margit Messmer Anand Pillay Fri 10 April 2020
- Electronic and computer music Peter Manning Fri 10 April 2020
- Analytic Combinatorics in Several Variables Robin Pemantle Mark C. Wilson Fri 10 April 2020
- Storia economica e sociale del Medioevo Henri Pirenne Fri 10 April 2020
- The forgotten revolution: how science was born in 300 BC and why it had to be reborn Lucio Russo Silvio Levy Fri 10 April 2020
- First-order logic Raymond M. Smullyan Fri 10 April 2020
- Approximation algorithms Vijay V. Vazirani Fri 10 April 2020
- People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 Richard J. Lipton Kenneth W. Regan Fri 10 April 2020
- Elements of the History of Mathematics Nicolas Bourbaki Fri 10 April 2020
- The Collected Papers of Gerhard Gentzen M. E. Szabo Fri 10 April 2020
- Model Theory C.C. Chang H.J. Keisler (Eds.) Fri 10 April 2020
- Generalized Functions and Partial Differential Equations Georgi E. Shilov Fri 10 April 2020
- Haskell: The Craft of Functional Programming Simon Thompson Fri 10 April 2020
- La mia vita al limite Reinhold Messner Fri 10 April 2020
- Inchiesta su Maria. La storia vera della fanciulla che divenne mito Marco Vannini Corrado Augias Fri 10 April 2020
- Programming with Higher-Order Logic Dale Miller Gopalan Nadathur Fri 10 April 2020
- Essays in the Philosophy and History of Logic and Mathematics Roman Murawski Jan Wole Ski Fri 10 April 2020
- A Tour of C++ Bjarne Stroustrup Fri 10 April 2020
- Prolog Programming for Artificial Intelligence Ivan Bratko Fri 10 April 2020
Library Size: 80G (3742 books), Last Updated: Apr 08, 2026, 23:11:40,
Build Time: N/A
