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

El enigma de Sherezade: Lógica recreativa para no perder la cabeza

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