On decision problems for quantification theory
By: by Warren David Goldfarb
Published: 1975
Language: eng
Number of pages: 277
Notes: Includes index.

Thesis (Ph. D.)--Harvard University, 1975.

Bibliography: leaves R1-R6 (12th group).