A resolution style proof procedure for higher-order logic
By: by Lawrence Joseph Henschen
Series: Report no. 452; Report (University of Illinois (Urbana-Champaign campus).  Dept. of Computer Science) -- no. 452.
Publisher: University of Illinois
Published: 1971
Place of publication: Urbana, IL
Language: eng
Number of pages: 79
Subjects: First-order logic; Automatic theorem proving
Notes: Thesis--Illinois.

Bibliography: p. 72-73.