Logic : form and function ; the mechanization of deductive reasoning /
Robinson, J. A.
Logic : form and function ; the mechanization of deductive reasoning / J. A. Robinson - Edinburg : University Press, 1979 - vi, 312 p. : ill. ; 23 cm.
Includes index.
Bibliography: p. 300-302.
0852243057
79-312304 //r85
Form (Logic)
Predicate calculus
Reasoning
Logic : form and function ; the mechanization of deductive reasoning / J. A. Robinson - Edinburg : University Press, 1979 - vi, 312 p. : ill. ; 23 cm.
Includes index.
Bibliography: p. 300-302.
0852243057
79-312304 //r85
Form (Logic)
Predicate calculus
Reasoning