Metamathematical investigation of intuitionistic arithmetic and analysis (1973)

by Jon G Riecke, Anders B Sandholm
Venue:Lecture Notes in Mathematics 344