Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
On Writing Well, 30th Anniversary Edition: An Informal Guide to Writing Nonfiction
Crisis and Continuity at the Abbasid Court : Formal and Informal Politics in the Caliphate of al-Muqtadir (295–320-908–32)
Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]