Elements of intuitionism - Dummett Michael (Oxford Clarendon, 1977)
Bib 452-62p