Hola:
Yo adquirí ambos, Formas lógicas e Introducción a la lógica formal, para la asignatura de nivelación del Máster de Filosofía Práctica/Lógica y Filosofía de la Ciencia y la verdad es que se complementan muy bien. El de Formas lógicas, en particular, es muy asequible a la comprensión y va complementando cada explicación con ejercicios, no solo de lógica simbólica, sino además con lógica con contenido semántico en los apartados iniciáticos. Pienso que el precio asequible y la utilidad recomiendan su compra.
Aunque el de Deaño, por su parte, está merecidamente en un pedestal, llegó un momento en que me parecía que tarda en ir al grano (seguramente por la completitud de la que habla Lapidario) y comencé a tirar del también clásico Lógica simbólica, de Manuel Garrido, que fuea partir de entonces mi manual básico, casi más que el de Deaño. Alguna terminología es diferente, pero son solo un par de términos y se advierte enseguida. Yo utilicé la terminología particular de Garrido y el profesor no puso pegas. Sea como sea, no es nada difícil encontrar el manual de Deaño en bibliotecas.
El arte de la lógica, de Carmen García Trevijano, también me parece un libro fenomenal para la parte práctica del asunto.
Ah, importante; a la hora de compartir ejercicios en el foro de la asignatura, se detectaron varios errores en los ejercicios del libro Ejercicios de lógica, de Eulalia Pérez Sedeño, por lo que se desaconseja su compra o, como mínimo, su uso sin supervisión de un experto que esté al tanto de la cuestión. (Estoy casi seguro de que era este libro, aunque quizá alguna compañera o compañeo puedan confirmarlo.
Y nada, espero haber sido de ayuda.
Un saludo.