Logic : form and function : the mechanization of deductive reasoning

書誌事項

Logic : form and function : the mechanization of deductive reasoning

J.A. Robinson

University Press, c1979

大学図書館所蔵 件 / 53

この図書・雑誌をさがす

注記

Bibliography: p. [300]-302

Includes index

詳細情報

ページトップへ