Admissibility of logical inference rules. (English) Zbl 0872.03002
Studies in Logic and the Foundations of Mathematics. 136. Amsterdam: Elsevier. 617 p. (1997).
Reviewer: B.Boričić (Beograd)