S. Boolos, GeorgeP. Burgess, John2019-02-042024-04-262019-02-042024-04-262002978-0-511-0780-6-4https://drs.ess.gov.et/handle/12345678/39866enComputability and LogicComputability and LogicBook