Admissibility of Logical Inference Rules door Vladimir V. Rybakov