librarian a book library

Dynamic Logic Modeling Reactive Systems with Statecharts: The Statemate Approach First-Order Dynamic Logic Practical Foundations for Programming Languages
Type systems for programming languages English Sound Structure Handbook of Practical Logic and Automated Reasoning The Turing Option
An Introduction to Dynamic Games Colloquial Croatian and Serbian The Complete Course for Beginners with Audio French Grammar and Usage The Anatomist

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