Journal: Math. Log. Q.

Volume 33, Issue 3

193 -- 197Adam Piolunowicz. On the Shadows of Ideals
199 -- 200Yutaka Yasuda. Some Properties of Thin Π
201 -- 210Thomas E. Forster. Permutation Models in the Sense of Rieger-Bernays
211 -- 234Karl-Heinz Diener. Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen
235 -- 241Ventura Verdú. 4, [{1}]) by a Set of Homomorphisms
243 -- 244Alan Rose. A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
245 -- 253Daniel G. Schwartz. On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic
255 -- 256Jürgen Hauck. Eine Berechenbare Funktion Mit Rationalen Werten, Die Nicht Rekursiv Ist
257 -- 266Pierluigi Minari. Quasilinear Posets and some Subsystems Of Dummett's LC
267 -- 276Winfried Just, Zarko Mijajlovic. Separation Properties of Ideals Over ω
277 -- 288László Babai, György Turán. The Complexity of Defining a Relation on a Finite Graph