P. Safarik

发表

P. Safarik, P. Mártonfi, L. Mártonfiová, 1996 .

Ulrich Kohlenbach, Pavol Safarik, U. Kohlenbach, 2010, Math. Log. Q..