The Development of Intuitionistic Logic
plato.stanford.edu