An edition of Logic (1979)
form and function : the mechanization of deductive reasoning
By J. A. Robinson
Publish Date
1979
Publisher
University Press
Language
eng
Pages
312
Description:
subjects: Form (Logic), Predicate calculus, Reasoning, Logic, Logic, symbolic and mathematical