Arnold Oberschelp
发表
Arnold Oberschelp,
1968
.
Arnold Oberschelp,
1991,
Math. Log. Q..
Arnold Oberschelp,
Karsten Schmidt-Göttsch,
Günter Todt,
1988,
Arch. Math. Log..
Arnold Oberschelp,
Günter Todt,
1981,
Math. Log. Q..
Arnold Oberschelp,
A. Oberschelp,
1990,
Sorts and Types in Artificial Intelligence.
Arnold Oberschelp,
A. Oberschelp,
1968,
Journal of Symbolic Logic.
Arnold Oberschelp,
K. Potthoff,
G. H. Muller,
1976,
J. Symb. Log..