Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.
Boolos var Richard Jeffreys medförfattare för de tre första utgåvorna av den klassiska universitetstexten om matematisk logik, Computability and Logic.