×
Atención!! Los materiales de este libro aún no están optimizados para dispositivos móviles, para una mejor visualización le recomendamos acceder desde un navegador de escritorio.
Material de Libre Acceso.
Demostración que un conjunto de oraciones es satisfactible usando un árbol de Gentzen.
