Description of self-admissible quasi-characterizing inference rules

Bulletin of the Section of Logic, Tom 27, Numer 4 (1998) s. 164-171
Vladimir V. Rybakov, M. Terziler, C. Gencer

 

do góry