George S. Boolos

2 books

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

Computability and Logic

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

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
More...