Troelstra.Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (1973)

by A S
Venue:of Lecture Notes in Mathematics