Add link to The Development of Intuitionistic Logic page at Stanford's Plato site.