CLINICAL LYMPHOMA, MYELOMA AND LEUKEMIA, cilt.20, ss.179, 2020 (SCI-Expanded)
Proof systems for the Relativized Propositional Calculus are defined and compared.