librarian a book library

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions Foundations of Modern Probability A Modern Perspective on Type Theory - From its Origins until Today The Higher Infinite - Large Cardinals in Set Theory from Their Beginnings
The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates Russian Phrases for Dummies Graphs, Dynamic Programming, and Finite Games The Mathematics of Logic
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science) Classical Descriptive Set Theory BASIC CONCEPTS OF ENRICHED CATEGORY THEORY Finite Markov Chains

Library Size: 80G (3742 books), Last Updated: Apr 08, 2026, 23:11:40, Build Time: N/A badge
[show logs] [hide logs]