Title: Elements of intuitionism
First published: 1977
Subjects: Intuitionistic mathematics, Reasoning