librarian a book library

Why is this a Proof Festschrift for Luiz Carlos Pereira Philosophy of Logic A Guide to Classical and Modern Model Theory The Development of Modern Logic
Orders of infinity Arto Salomaa: Mathematician, Computer Scientist, and Teacher: A Thematic Biography Naming and Necessity Tavoli, sedie, boccali di birra. David Hilbert e la matematica del Novecento
Dagli insiemi ai numeri Filosofia della matematica Categorie, universi e princ\`\ipi di riflessione Introduzione alla logica formale

Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]