Journal: Math. Log. Q.

Volume 28, Issue 22-24

317 -- 322Alan Rose. A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens
323 -- 329Peter H. Schmitt. The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
331 -- 336Heinz-Dieter Ebbinghaus. Undecidability Of Some Domino Connectability Problems
337 -- 344Peter Telec, Martin Kühnrich. Sequenzen von Klassen und Individuen
345 -- 363Michael Deutsch. Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen