Journal: Math. Log. Q.

Volume 29, Issue 2

33 -- 70Luisa Iturrioz. Symmetrical Heyting Algebras with Operators
71 -- 74John L. Hickman. An Ordinal Version of the Fundamental Law of Algebra
75 -- 82Karel Hrbacek. Degrees of analytic Sets
83 -- 96Klaus Benecke. Spezifikation parametrisierter Datentypen