TY - GEN AU - Peckhaus, Volker ID - 18903 T2 - Mathematical Reviews TI - Manzano, María und Alonso, Enrique, “Visions on Henkin”, In: Synthese 192 (2015), 2123–2138 ER -