Correction to our paper : "Gentzen method in modal calculi"

Masao Ohnishi, Kazuo Matsumoto
1958
doi:10.18910/4321 fatcat:ehrzwofl4bckfouonbicpvx3ga