Title: Elemente de logică intuiționistă
First published: 1976
Subjects: Intuitionistic mathematics
LC classification: QA9.47 .S94