Atıf İçin Kopyala
Dinardo C. D., Jonas B. A., Pullarkat V., Thirman M. J., Garcia J. S., Wei A. H., ...Daha Fazla
CLINICAL LYMPHOMA, MYELOMA AND LEUKEMIA, cilt.20, ss.179, 2020 (SCI-Expanded)
Proof systems for the Relativized Propositional Calculus are defined and compared.