librarian a book library

The Lambda Calculus - Its Syntax and Semantics Introduction to Lambda Calculus Lambda Calculus with Types (draft) Toposes, Triples and Theories
Vicious Circles - On the Mathematics of Non-Wellfounded Phenomena Basic Proof Theory Markov Decision Processes with Applications to Finance \.Zycie codzienne warszawskiego getta
The Language of Machines - An Introduction to Computability and Formal Languages Programming Languages and Their Definition The Development of Mathematics Mathematical Logic for Computer Science

Library Size: 80G (3741 books), Last Updated: Apr 07, 2026, 15:54:53, Build Time: N/A badge
[show logs] [hide logs]