Howson, Colin2019-07-302024-04-262019-07-302024-04-2619970-203-97673-8https://drs.ess.gov.et/handle/12345678/77275enLogic, Symbolic and mathematicalLogic with treesAn introduction to symbolic logicBook