Metamathematical Investigations of Intuitionistic Arithmetic and Analysis (1973)

by A Troelstra
Venue:Lecture Notes in Mathematics 344