RabbitMQ Layout: Basic Structure and Topology for Applications
Selected topics in infinite-dimensional topology (Monografie matematyczne)
代数拓扑基础: Elements of Algebraic Topology
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology