An abstract logical theory in which all true
statements have formal proofs within the theory.
Last updated: 1998-07-05
complete partial ordering ♦ complete theory ♦ complete unification
Try this search on
Updated: Tue, 16 Oct 2018 22:24:25 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985