Stav dette: Lógica dinámica: nociones teóricas y ejercicios de lógica tradicional y simbólica