Mathematical Intuitionism. Introduction to Proof Theory (1988)

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