LIBRARY Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction") 2011 · ENGLISH · PDF View details →
LIBRARY An Invitation to Applied Category Theory: Seven Sketches In Compositionality 2019 · ENGLISH · PDF View details →
LIBRARY Mathematical Logic: On Numbers, Sets, Structures, and Symmetry 2018 · ENGLISH · PDF View details →