Pātuhitia tēnei: Lógica dinámica: nociones teóricas y ejercicios de lógica tradicional y simbólica