%0 Journal Article
%A A. Sakharov
%T Analytic sequent calculi with nonlogical axioms
%J Zapiski Nauchnykh Seminarov POMI
%D 2023
%P 166-194
%V 528
%U http://geodesic.mathdoc.fr/item/ZNSL_2023_528_a10/
%G en
%F ZNSL_2023_528_a10