Admissibility of Logical Inference Rules (1997)

by V Rybakov