Greeks and Calculus: Eudoxus and Dedekind(rsbowen.github.io)

http://rsbowen.github.io/eudoxus_dedekind.html