Journal: Math. Log. Q.

Volume 29, Issue 3

97 -- 135Williams Kramer Forrest. The Theory of Affine Constructible Sets
137 -- 150Michel Parigot. Le modèle Compagnon de la THéOrie des arbres
151 -- 161Zarko Mijajlovic, Valentina S. Harizanov. Regular Relations and the Quantifier "There Exist uncountably Many"
163 -- 168Franco Montagna. Zfc-Models as Kripke-Models
169 -- 175Hans Kleine Büning. Durch syntaktische Rekursion definierte Klassen