GitHub repository: lans98/buchi-kripke-monograph
Primary language: TeX
Description: Monografía - Lógica Computacional