- DocumentoCálculo de predicadoscargado porMarina Gutierrez
- DocumentoElementos de inferencia para el cálculo proposicionalcargado porMarina Gutierrez
- DocumentoNotación polaca y parentizadacargado porMarina Gutierrez
- DocumentoFormas normales y dispositivos de dos estadoscargado porMarina Gutierrez
- Documentoformulario Estructurascargado porMarina Gutierrez