TY  - BOOK
AU  - Mata Pérez Miguel
TI  - Lógica proposicional
PY  - 2020///
PB  - Departamento de matemáticas
UR  - http://www.matematicas.ciencias.uchile.cl/juaco/section-1.html
ER  -