librarian a book library

Decidable Theories I - Büchi's Monadic Second Order Successor Arithmetic A Beautiful Math - John Nash, Game Theory, and the modern quest for a code of nature Introduction to the Theory of Computation Formal Syntax and Semantics of Programming Languages - A Laboratory Based Approach
Android Recipes - A Problem-Solution Approach Photoshop CS5 - The Missing Manual Ramsey Theory - Yesterday, Today, and Tomorrow Software Engineering
Lectures on the Curry-Howard Isomorphism The Strange Logic of Random Graphs Roadmap of Infinite results A Course on Borel Sets

Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04, Build Time: N/A badge
[show logs] [hide logs]