Mathematical intuitionism : introduction to proof theory - Dragalin A G (Providence AMS, 1987)
Keywords: Mathematics; Proof theory