Martin Kühnrich

According to our database1, Martin Kühnrich authored at least 9 papers between 1978 and 1986.

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1986
Differentialoperatoren Über Booleschen Algebren.
Math. Log. Q., 1986

Zur Axiomatik der Friedmanschen Theorie der Prädikate.
Math. Log. Q., 1986

Untersuchungen zur Friedmanschen Theorie der Prädikate.
Math. Log. Q., 1986

1985
Untersuchungen zur Algebraischen Theorie der Partiellen Mengen.
Math. Log. Q., 1985

1983
Eine äQuivalente Formalisierung der Logik von Feferman und Aczel.
Math. Log. Q., 1983

1982
Sequenzen von Klassen und Individuen.
Math. Log. Q., 1982

1980
A Hierarchy of Models for Skala's Set Theory.
Math. Log. Q., 1980

The Boolean Algebra of Predicates.
Math. Log. Q., 1980

1978
Superclasses in a Finite Extension of Zermelo Set Theory.
Math. Log. Q., 1978


  Loading...