%0 Journal Article
%A T. L. Sidon
%T Provability logic with operations over proofs
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1997
%P 1173-1197
%V 3
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_1997_3_4_a17/
%G ru
%F FPM_1997_3_4_a17