P. C. M. Linssen

发表

J. Lammers, H. Petri, M. Danhof, 1966, Journal of Symbolic Logic.