Title: Lógica para informática
Subtitle: lógica clásica, modal y de programas
Subjects: Classical logic, Logic, Computability logic, Computer sciences, Modal logic, Philosophy