Vitaliy Remazki

According to our database, Vitaliy Remazki authored at least 1 paper in 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.

Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki

Math. Log. Q., 2000