Computability & Logic 3rd Edition

By George S. Boolos

Trade Paperback