An edition of Logic, form and function (1979)
the mechanization of deductive reasoning
By J. A. Robinson
Publish Date
1979
Publisher
North-Holland
Language
eng
Pages
312