Lógica intuicionista

Verbete da Stanford,
http://plato.stanford.edu/entries/logic-intuitionistic/

Excerto do livro do Heyting, Intuitionism, com apresentação de um
sistema axiomático para a lógica intuicionista
http://dl.dropbox.com/u/5959592/heyting_itcn.pdf

Outros textos
http://dl.dropbox.com/u/5959592/jairo_construtivismo.pdf
http://dl.dropbox.com/u/5959592/kolmogorov_excluded_middle_heijnoort.pdf
http://dl.dropbox.com/u/5959592/priest_itcn_prop.pdf
http://www.phil.uu.nl/~dvdalen/articles/Blackwell(Dalen).pdf

Investigations into logical deductions, Gerhard Gentzen (1935)
http://dl.dropbox.com/u/5959592/gentzen.pdf
(Vejam especialmente a seção II, p. 74. As regras de DN estão na p. 77)