43rd European Cystic Fibrosis Conference, Fransa, 24 - 25 Eylül 2020, cilt.19, ss.72, (Özet Bildiri)
Proof systems for the Relativized Propositional Calculus are defined and compared.