El universo de Gödel: La problemática de la consistencia y la lógica proposicional

La isla del silencio parcial: Brujería lógica y metalocuras provocadoras

El teorema de Löb: Creencias autosuficientes y sistemas matemáticos

Bosques curiosos y pájaros aristocráticos: Juegos para imitar a un pájaro imitador

Caballeros, bribones y pájaros egocéntricos: Ejercicios de lógica combinatoria

Robots, Cantor y el infinito: Problemas y brujería matemática