9月 12 未睇嘅書︰Computability and Unsolvability 📕 Computability and Unsolvability|Martin Davis 2022年9月12日 3 min read
10月 09 讀書筆記︰Formal Theories of Truth Formal Theories of Truth, Jc Beall, Michael Glanzberg, and David Ripley 2021年10月9日 4 min read