Lógica matemática e inteligencia artificial

Ésta obra pretende llenar un cierto vacío en la bibliografía en español sobre nuevos temas. Por ello, en primer lugar, hemos tratado de ciertos grandes lógicos, que no son los más mencionados; entre ellos, Bolzano, Brentano, Twardowski, Lesniewski, la Escuela de Lvov-Varsovia (ELV), en su contraste con el mucho más mediático Círculo de Viena (el Wiener Kreis). Seguir con la búsqueda de sus antecesores, como Leibniz o los mencionados Bolzano y Brentano; de sus discípulos, Husserl y Twardowski, dando lugar este a tan brillante grupo, con Lukasiewicz, Tarski, Banach. Para luego referirnos a Peirce, a Hilbert, o a Zermelo. También otros fundamentales, como Russell, Whitehead y Wittgenstein. Sin dejar por ello a Brouwer o su discípulo, Heyting. Así como Church, Kleene o Zadeh. Esperamos