Open menu
Vladimir V. Rybakov
1961
Admissibility of logical inference rules