Title: Computability of terms and notions of realizability for intuitionistic analysis
First published: 1971
Subjects: Intuitionistic mathematics