Creative Commons
| Preface P. Cégielski, A. Durand | ||
| Definability of linear equation systems over groups and rings | ||
| Anuj Dawar, Eryk Kopczynski, Bjarki Holm, Erich Grädel and Wied Pakusa | ||
| Ordered Models of the Lambda Calculus | ||
| Alberto Carraro and Antonio Salibra | ||
| Herbrand-Confluence | ||
| Stefan Hetzl and Lutz Straßburger | ||
| Undecidable First-Order Theories of Affine Geometries | ||
| Antti Kuusisto, Jeremy Meyers and Jonni Virtema | ||
| Knowledge Spaces and the Completeness of Learning Strategies | ||
| Stefano Berardi and Ugo de'Liguoro | ||
| A Proof of Kamp's theorem | ||
| Alexander Rabinovich | ||
| Connection Matrices and the Definability of Graph Parameters | ||
| Tomer Kotek and Johann A. Makowsky | ||