Journal: Math. Log. Q.

Volume 26, Issue 34-35

529 -- 536Bogdan S. Chlebus. Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
537 -- 546Roman Murawski. Some Remarks on the Structure of Expansions
547 -- 554Klaus Denecke. Implikative BCK-Algebren
555 -- 559Martin Kühnrich, Konrad Schultz. A Hierarchy of Models for Skala's Set Theory