Sammen med Richard Jeffrey skrev Boolos de tre første utgavene av en klassisk universitetslærebok om matematisk logikk, .