Logic : form and function ; the mechanization of deductive reasoning - Robinson, J. A. (John Alan) (Edinburg : University Press, 1979)
Includes index.
Bibliography: p. 300-302.
1
Keywords: Form (Logic); Predicate calculus; Reasoning