TY - JOUR AU - Ambos-Spies, Klaus AU - Bagaria, Joan AU - Casanovas, Enrique AU - Kohlenbach, Ulrich IS - 12 JA - Annals of Pure and Applied Logic PB - Elsevier PY - 2013 TI - Preface VL - 164 ER -