Junto con Richard Jeffrey, Boolos escribieron un texto clásico universitario sobre lógica matemática, llamado "Computability and Logic".