Admissibility of Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, Volume 136. door Vladimir V. Rybakov