Open Texture and Mathematics. - Stewart Shapiro; Craige Roberts (Notre Dame J. Formal Log., 2021)