Th. Thlen

发表

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