International Studies in Phenomenology and Philosophy
1987
with Filipec Pavel
in: Mathematical logic and its applications, Dordrecht : Springer