The Jordan curve theorem, formally and informally (2007)

by T C Hales
Venue:Amer. Math. Monthly