librarian a book library

Abel's Proof - An Essay on the Sources and Meaning of Mathematical Unsolvability Understanding Exposure (Revised Edition) Learning to See Creatively (Revised Edition) Understanding Close-up Photography
The Annotated Turing Basic Category Theory for Computer Scientists Software Foundations Types and Programming Languages
Type Systems for Programming Languages Mathematical Foundations of Automata Theory Counterpoint, Harmony, Orchestration Nominal Sets - Names and Symmetry in Computer Science

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