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