(1)
Urchs, M. The Beginnings of ToruĊ„ Logic. LLP 2025, 1-28.