Mathematical Intuitionism: Introduction to Proof Theory, volume 67 (1988)

by A G Dragalin
Venue:of Translations of Mathematical Monographs. American Mathematical Society