- Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction Pavel Pudlák Fri 10 April 2020
- The Computational Complexity of Logical Theories Jeanne Ferrante Charles W. Rackoff Fri 10 April 2020
- Science, Computers, and People: From the Tree of Mathematics Stanislaw M. Ulam Mark C. Reynolds Gian-Carlo Rota Fri 10 April 2020
- Logical Number Theory I: An Introduction Craig Smoryński Fri 10 April 2020
- Foundations of Mathematics: Questions of Analysis, Geometry \& Algorithmics Erwin Engeler Fri 10 April 2020
- Linear Difference Equations with Discrete Transform Methods Abdul J. Jerri Fri 10 April 2020
- Sparsity: Graphs, Structures, and Algorithms Jaroslav Nešetřil Patrice Ossona de Mendez Fri 10 April 2020
- Algebraic Approaches to Partial Differential Equations Xiaoping Xu Fri 10 April 2020
- Logic and Structure Dirk van Dalen Fri 10 April 2020
- The book of numbers John H. Conway Richard Guy Fri 10 April 2020
- The History of English Spelling Christopher Upward George Davidson David Crystal Fri 10 April 2020
- Introduction to Coalgebra: Towards Mathematics of States and Observations Bart Jacobs Fri 10 April 2020
- Electronic Music and Sound Design - Volume 1 Alessadnro Cipriani Maurizio Giri Fri 10 April 2020
- What I Wish I Knew When Learning Haskell Stephen Diehl Fri 10 April 2020
- Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Fri 10 April 2020
- Principles of Model Checking Christel Baier Joost-Pieter Katoen Fri 10 April 2020
- Formal Structures for Computation and Deduction Gerard Huet Fri 10 April 2020
- Infinite Words Dominique Perrin Jean-Eric Pin Fri 10 April 2020
- Combinatorics Kiumars Kaveh Fri 10 April 2020
- Cristo si è fermato a Eboli Carlo Levi Fri 10 April 2020
Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21,
Build Time: N/A
