matching procedure for w-order logic
By: by William Eben Gould.
Published: 1966
Place of publication: Princeton, N.J.:b1966
Language: eng
Number of pages: 42
Subjects: Logic, Symbolic and mathematical.
Notes: Thesis--Princeton University.

Xerox copy.

Bibliography: leaf [43]