Jordan’s Proof of the Jordan Curve Theorem, in From Insight to Proof Festschrift in Honour of Andrzej Trybulec Eds (1985)

by Hales
Venue:Studies in Logic, Grammar and Rhetoric 10 (23) 2007 26 P. Halmos, I