Fragmento de vista previa. Obtener acceso completo
Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas