Atıf İçin Kopyala
MANGIR N., Rodriguez Lopez S., Osman N., Inman R., Chapple C.
EAU20 Virtual Congress, Arnhem, Hollanda, 9 - 12 Temmuz 2020, cilt.19, ss.730-731
Proof systems for the Relativized Propositional Calculus are defined and compared.