Computability of terms and notions of realizability for intuitionistic analysis
By: A.S. Troelstra.
Series: Report / Mathematisch Instituut -- 71-02; Report (Universiteit van Amsterdam. Mathematisch Instituut) -- 71-02.
Publisher: Mathematisch Instituut
Published: 1971
Place of publication: Amsterdam
Language: eng
Number of pages: 60
Subjects: Intuitionistic mathematics.
Notes: "Received February 1971."

Includes bibliographical references.