George S. Boolos

No bio available. Add one in Open Library.

Books by George S. Boolos (50 max)

+ shelf+ list

Computability and logic

1974

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

+ shelf+ list

Logic of Provability

2010

George S. Boolos

+ shelf+ list

Computability and logic: [by] George Boolos [and] Richard Jeffrey.

1974

George S. Boolos

+ shelf+ list

Computability and Logic

2007

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