Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. - Patrick Cégielski; Leszek Pacholski; Denis Richard; Jerzy Tomasik; Alex Wilkie (Ann. Pure Appl. Log., 1997)

Essential arities in algebras of finite type and arity trees. - Andrzej Kisielewicz 001; Jerzy Tomasik (Discret. Math., 2002)

Category semantics for fusion and refinement of multi-sorted specifications. - Jerzy Tomasik; Jerzy Weyman (FUSION, 2006)

Category localization semantics for specification refinements. - Jerzy Tomasik; Jerzy Weyman (Ann. Math. Artif. Intell., 2007)

Theories of initial segments of standard models of arithmetics and their complete extensions. - Michal Krynicki; Jerzy Tomasik; Konrad Zdanowski (Theor. Comput. Sci., 2011)