Author

George S. Boolos

2 books found

Cover of Logic of Provability

Logic of Provability

George S. Boolos · First published 2010

Cover of Computability and logic

Computability and logic

George Boolos, Richard C. Jeffrey, George S. Boolos, John P. Burgess · First published 1974 · Latest edition 2007