Title: Notes on intuitionistic second order arithmetic
First published: 1971
Subjects: Intuitionistic mathematics