Title: Admissibility of logical inference rules
First published: 1997
Subjects: Inference, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9 .R986 1997