Vitaliy Remazki

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. Math. Log. Q. 46 (2) (2000)