Introducción a la lógica moderna, 2a edición
Bogotá: Ediciones Uniandes (
2010)
Copy
BIBTEX
Abstract
The book is an undergraduate-level introduction to first-order logic and propositional modal logic. The book presents symbolic logic in a way that is pedagogically attractive and formally rigorous. The main concepts are formally defined, informally explained, and illustrated with several examples. The book is aimed at philosophy majors and it includes discussions of several problems in the philosophy of logic.