Admissibility of logical inference rules - Rybakov Vladimir V (Amsterdam Elsevier, 1997)
Keywords: Inference rules; Mathematical logic