Logic and its Limits
Gödel's First Incompleteness Theorem, based on Smith's Gödel without (too many) tears: Unit 1 | Unit 2 | Unit 3 | Unit 4 | Unit 5 | Unit 6
Rise and Fall of the Fregean Empire
Tarskian Definitions of Truth
Lógica I - Guía de Ejercicios (exercise guide for Introduction to Propositional and Predicate Logic)
Lógica, Metalógica y Metametalógica, Oficina de Publicaciones de la Facultad de Filosofía y Letras, Buenos Aires, 2013 (with P. Teijeiro)