Vitaliy Remazki

List of publications from the DBLP Bibliography Server - FAQ

2000

1 EE 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): 207-218 (2000)

2000
1	EE	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): 207-218 (2000)

Coauthor Index