Boolos

Computability and Logic 2ed

By George Boolos, Richard C. Jeffrey, Boolos, George, Jeffrey, Richard C.

Computability and Logic

By Boolos, George S., Jeffrey, Richard C.