Ficha Bibliográfica de la Ponencia Autores: Miranda Perea, Favio E. ; Linares Arévalo, P. Selene y Aliseda Llera, Atocha Título de la ponencia: How to prove it in Natural Deduction: A tactical Approach Título de la memoria: Proceedings of the 4th. International Coference on Tools for Teaching Logic (TTL 2015) Página inicial: 10 País: Francia Año de publicación: 2015 ISBN: Pendiente Formato: Impreso Acceso: Texto Completo       Ficha PDF: Ir a formato PDF