Logic : form and function : the mechanization of deductive reasoning

Bibliographic Information

Logic : form and function : the mechanization of deductive reasoning

J.A. Robinson

University Press, c1979

Available at  / 52 libraries

Search this Book/Journal

Note

Bibliography: p. [300]-302

Includes index

Details

Page Top