Mathematical intuitionism{introduction to proof theory (1988)

by A G Dragalin
Venue:In Translations of Mathematical Monographs, volume 67 of American Matematical Society. Providence, Rhode Island