1973] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (0)

by A S Troelstra
Venue:Lecture Notes in Mathematics 344