W. Gould

发表

A MATCHING PROCEDURE FOR W-ORDER LOGIC

W. Gould, 1966 .

Mendelson Elliott. Theory and problems of Boolean algebra and switching circuits. Schaum's outline series, McGraw-Hill Book Company, New York etc. 1970, viii + 213 pp.

William E. Gould, W. Gould, 1974, Journal of Symbolic Logic.

Brown G. Spencer. Laws of form . The Julian Press, New York 1972, xxvi + 141 pp.

W. Gould, 1977, Journal of Symbolic Logic.