Arnold Oberschelp

According to our database, Arnold Oberschelp authored at least 8 papers between 1968 and 1999.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1999

Was ist allgemeine Mengenlehre?

Arnold Oberschelp

Proceedings of the Angewandte Mathematik, 1999

1993

Rekursionstheorie.

Arnold Oberschelp

BI-Wissenschaftsverlag, ISBN: 978-3-411-16171-3, 1993

1991

On Pairs and Tuples.

Arnold Oberschelp

Math. Log. Q., 1991

1989

Order Sorted Predicate Logic.

Arnold Oberschelp

Proceedings of the Sorts and Types in Artificial Intelligence, 1989

1988

Castor quadruplorum.

Arnold Oberschelp, Karsten Schmidt-Göttsch, Günter Todt

Arch. Math. Log., 1988

1981

Klassentheoretische Paare.

Arnold Oberschelp, Günter Todt

Math. Log. Q., 1981

1976

European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974.

G. H. Muller, Arnold Oberschelp, K. Potthoff

J. Symb. Log., 1976

1968

On the Craig-Lyndon Interpolation Theorem.

Arnold Oberschelp

J. Symb. Log., 1968