librarian a book library

Nonlinear Dynamics and Chaos Verified Functional Programming in Agda Paradoxes in Probability Theory and Mathematical Statistics Coś Wam Powiem
Guide to the Queen's English Undecidable Theories Term Rewriting Systems Polish Music since Szymanowski
Haskell - The Craft of Functional Programming Type Theory \& Functional Programming Supermodularity and Complementarity Języki, automaty i obliczenia

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