Title: O dokazatelʹstve v matematike
First published: 1979
Subjects: Proof theory
LC classification: QA9.54 .A73