1997/51/1-2 (11) — DOI: 10.5486/PMD.1997.1812 — pp. 127-132
Full Text Abstract

A note on the completeness of higher order resolution

Authors: I. P. Kossey

Keywords: resolution method, higher order logic, completeness

Mathematics Subject Classification: 03B15, 03B35, 68T15