Martin Kühnrich

Publication Activity (10 Years)

Years Active: 1978-1986
Publications (10 Years): 0

Publications

Martin Kühnrich
Zur Axiomatik der Friedmanschen Theorie der Prädikate. Math. Log. Q. 32 (7-9) (1986)
Martin Kühnrich
Untersuchungen zur Friedmanschen Theorie der Prädikate. Math. Log. Q. 32 (1-5) (1986)
Martin Kühnrich
Differentialoperatoren Über Booleschen Algebren. Math. Log. Q. 32 (17-18) (1986)
Martin Kühnrich
Untersuchungen zur Algebraischen Theorie der Partiellen Mengen. Math. Log. Q. 31 (9-12) (1985)
Martin Kühnrich
Eine äQuivalente Formalisierung der Logik von Feferman und Aczel. Math. Log. Q. 29 (11) (1983)
Peter Telec, Martin Kühnrich
Sequenzen von Klassen und Individuen. Math. Log. Q. 28 (22-24) (1982)
Martin Kühnrich, Konrad Schultz
A Hierarchy of Models for Skala's Set Theory. Math. Log. Q. 26 (34-35) (1980)
Martin Kühnrich
The Boolean Algebra of Predicates. Math. Log. Q. 26 (22-24) (1980)
Martin Kühnrich
Superclasses in a Finite Extension of Zermelo Set Theory. Math. Log. Q. 24 (31-36) (1978)