Title: Razvitie predstavleniĭ o nadëzhnosti matematicheskogo dokazatelʹstva
First published: 1986
Subjects: Logic, Symbolic and mathematical, Mathematics, Philosophy, Proof theory, Symbolic and mathematical Logic