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 • 1980

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

The Logic of Provability

George S. Boolos

275 pages • 1994

nonfiction mathematics science informative inspiring fast-paced