Journal: Math. Log. Q.

Volume 27, Issue 2-6

17 -- 22D. A. Anapolitanos, Jouko A. Väänänen. Decidability of Some Logics with Free Quantifier Variables
23 -- 30Bruce I. Rose, Robert E. Woodrow. Ultrahomogeneous Structures
31 -- 44Bruno Poizat. ThéOrie de Galois pour les ALGèBres de Post Infinitaires
45 -- 58Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. Functional Characters of Solvable Terms
59 -- 71Mario Rodríguez-Artalejo. Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen
73 -- 94Heinrich Herre, Helmut Wolter. Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren
95 -- 96Philipp Rothmaler. I-Types