A topological model for provability logic

(johndcook.com) by surprisetalk | Oct 27, 2026 | 0 comments on HN