George Boolos, John Burgess, Richard Jeffrey (2002), Computability and Logic: Fourth Edition, Cambridge University Press, Cambridge, UK.
George Boolos, John Burgess, and Richard Jeffrey, 2002, Computability and Logic: Fourth Edition, Cambridge University Press, Cambridge UK, ISBN 0-521-00758-5 paperback.
Richard Nixon | Richard Wagner | Richard Strauss | Richard Branson | Cliff Richard | Richard Gere | Richard Burton | Richard Hammond | Richard | Richard Dawkins | Little Richard | Richard Feynman | Richard Attenborough | Richard M. Daley | Richard I of England | Richard Thompson | Richard Francis Burton | Richard Thompson (musician) | Richard Pryor | Richard Linklater | Richard III of England | Richard Petty | Richard II | Richard II of England | Richard E. Byrd | Maurice Richard Arena | Muhal Richard Abrams | Richard Herring | Jeffrey Sachs | Richard Wright |
He coauthored another book Computability and Logic with George Boolos and Richard Jeffrey.