Publicacions en què col·labora amb Enrique Alonso (9)

2017

  1. A note on Visions of Henkin

    Synthese

2015

  1. Visions of Henkin

    Synthese, Vol. 192, Núm. 7, pp. 2123-2138

2014

  1. Completeness: From Gödel to Henkin

    History and Philosophy of Logic, Vol. 35, Núm. 1, pp. 50-75

  2. Leon Henkin

    Studies in Universal Logic (Springer Nature), pp. 3-22

  3. Preface

    Studies in Universal Logic

  4. The life and work of leon henkin: Essays on his contributions

    Studies in Universal Logic (Springer Nature), pp. 1-351

2006

  1. Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas

    Universidad de Castilla-La Mancha

2005

  1. Diagonalisation and church's thesis: Kleene's homework

    History and Philosophy of Logic, Vol. 26, Núm. 2, pp. 93-113

2004

  1. Summa logicae

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004