J. Pym, DavidRitter, Eike2019-07-302024-04-262019-07-302024-04-2620040 19 852633 4https://drs.ess.gov.et/handle/12345678/77299enReductive Logic and Proof-searchBook