S. Boolos, GeorgeP. Burgess, John2019-02-042024-04-262019-02-042024-04-262007978-0-511-36668-0https://drs.ess.gov.et/handle/12345678/39861enComputability and LogicComputability and LogicBook