Logic : form and function : the mechanization of deductive reasoning
著者
書誌事項
Logic : form and function : the mechanization of deductive reasoning
University Press, c1979
大学図書館所蔵 全53件
注記
Bibliography: p. [300]-302
Includes index
Logic : form and function : the mechanization of deductive reasoning
University Press, c1979
Bibliography: p. [300]-302
Includes index