George S. Boolos

2 books

Computability and Logic by Richard C. Jeffrey, George S. Boolos, John P. Burgess

Computability and Logic

Richard C. Jeffrey, George S. Boolos, John P. Burgess

350 pages • first pub 1980 (editions)

nonfiction mathematics philosophy informative slow-paced
The Logic of Provability by George S. Boolos

The Logic of Provability

George S. Boolos

275 pages • first pub 1994 (editions)

nonfiction mathematics science informative inspiring fast-paced