Boolos, George.

Overview

Works:	1 works in 0 publications in 0 languages

Titles

Computability and logic by: Boolos, George.; Burgess, John P., (1948-); NetLibrary, Inc.; Jeffrey, Richard C. (Electronic resources)

The logic of provability / by: Boolos, George. (Language materials, printed)

Computability and logic. / by: Burgess, John P., (1948-); Boolos, George.; Jeffrey, Richard C. (Language materials, printed)

Subjects