"La fuerza de la Lógica Formal reside en su capacidad para? deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas"
Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos.
Estamos así en pleno centro de las Teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna.
Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica, el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto.
El lector que se sitúa en este punto inicial comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el equipaje necesario, pero nada más. Tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica.
Este libro no es sobre la historia. Tales libros, salvo ejercicios de estilo, tienen la servidumbre de presentarse como un todo acabado. Sin embargo, el autor no ha olvidado que a todos nos gusta saber cómo han surgido las cosas y por qué alguien demostró lo que demostró.
Por eso, ha procurado que el lector nunca olvide que está en un camino, ha añadido los comentarios que ha creído oportunos y ha escrito con la intención de facilitar la lectura en la medida de lo posible. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización, alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo.
"El libro tiene un aire a la vez nuevo y tradicional que lo hace muy recomendable para aquellos a los que está destinado" Eugenio Roanes Lozano, Reseña en el Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas.

El policía más célebre de los bajos fondos de la novela negra y criminal española persigue por las calles
sucias de Barcelona una silla de ruedas desde la que se ha cometido un crimen, una silla de rueda sobre la que cree
saber quién se sienta y tras la que vivirá una de sus aventuras más sorprendentes e inesperadas. Una aventura de
mujeres que sueñan con viajar y que el único viaje que se pueden permitir es soñar. Premio Mystére a la mejor novela
negra publicada en 1986 en Francia, es la prueba irrefutable de que por Méndez, aunque pasen veinticinco años, el
tiempo no deja de ser un accidente inoportuno. Porque él, como sus novelas, nunca envejecen.

Una niña que vive aislada en una casa que recibe demasiadas visitas, un hombre que acepta el encargo de volver a matar, una novia que dispara a su prometido en plena boda. ¿Tienen algo en común estos crímenes? Tras este comienzo que nos deja sin aliento, se desgranarán todas las pruebas y seguiremos todas las pistas a través de las calles de Barcelona en esta novela apasionante que descubre el alma del asesino.
La vida y la muerte conviven en esta trama adictiva, que se convierte en un reto para el lector, demostrándonos que la línea entre ambas es más fina de lo que parece.
Francisco González Ledesma, redactor jefe de La Vanguardia de Barcelona, y que antes lo fue de El Correo Catalán, es un veterano periodista que en otro tiempo estuvo llamado a ser el novelista de éxito más joven de España. A los 21 años obtuvo el Premio Internacional de Novela, instituido por el editor José Janés, y en cuyo jurado figuraban personalidades como Somerset Maugham y Walter Starkie. Pero la censura franquista prohibió reiteradamente esta obra, Sombras viejas, reduciendo al autor, como a tantos otros de su generación, al desánimo y al silencio. Igualmente estuvo prohibida su segunda novela, Los Napoleones, que sólo fue posible publicar con la transición política, y que como todas las de Francisco González Ledesma es una historia barcelonesa. Ha publicado un libro de derecho, El dret catalá actual, y las novelas El expediente Barcelona (finalista del Premio Ciudad de Valencia 1983) y Las calles de nuestros padres, donde adquiere pleno protagonismo e desengañado policia Méndez, hijo de los barrios bajos y conocedor impio de los barrios más altos. Francisco González Ledesma es también abogado, premio de periodismo El Ciervo y premio Ciudad de Barcelona de cine. Con su novela Crónica sentimental en rojo obtuvo el Premio Planeta 1984.

1ª edición.

Qué es lo que puede empujar al viejo Méndez a alejarse de las murallas de Barcelona y correr hacia las orillas del Nilo blandiendo una Colt más vieja que él Qué es lo que puede provocar un furor tal en este policía para quien el cinismo es una virtud cardinal, una regla de vida intangible Méndez hace demasiado tiempo que es inspector como para tomarse en serio los crímenes y bajezas ordinarias, y hace falta que la inocencia se burle por lo menos dos veces para que su sangre espesa se ponga a hervir y se proponga perseguir la verdad fuera de las horas de servicio, dispuesto a que se haga justicia aunque tenga que tomársela él. De los bajos fondos de Barcelona a las necrópolis del Cairo pasando por los bellos barrios de Madrid, Méndez va correrá sin aliento detrás de una evidencia que ya sospechaba desde hace tiempo el mundo merece bien su mala reputación y la virtud no está nunca allí donde se la busca. Una historia de asesinos, de perversión, de niños y de inocencia de viejos que no aceptan lo que han tenido que ver y vivir. Un relato que lleva a Méndez desde las ruinas de una Barcelona en reconstrucción acelerada a las ruinas eternas de Egipto.Un policía duro que no grita y piensa. Un hombre de sensibilidad dentro de una máscara de ferocidad...Como siempre una novela apasionante del maestro del género.

Esta obra se dedica a rebuscar y escudriñar los cantos de Salamanca, resucitar y evocar los olvidados y poco usuales, haciendo cantar a la gente anciana, que son los que atesoran todo el acervo cultural de una tierra.