Notes on intuitionistic second order arithmetic
By: A.S. Troelstra.
Series: Report / Mathematisch Instituut -- 71-05; Report (Universiteit van Amsterdam. Mathematisch Instituut) -- 71-05.
Publisher: Mathematisch Instituut, Universiteit van Amsterdam
Published: 1971
Place of publication: Amsterdam
Language: eng
Number of pages: 40
Subjects: Intuitionistic mathematics.
Notes: "Received October 22, 1971."

Includes bibliographical references.