Logic : form and function : the mechanization of deductive reasoning

出版社:Edinburgh : University Press, c1979.
ISBN:0852243057
出版年:1979
作者:Robinson,J. A.
资源类型:图书
细分类型:西文文献
相关推荐

The psychology of deductive reasoning

  • 作者:Evans,Jonathan St. B. T.,
  • ISBN:0710009232
  • 出版社:London ; Boston : Routledge & Kegan Paul, 1982.
  • 出版年:1982

Logic : inductive and deductive

  • 作者:Minto,William.
  • 出版社:London : Murray, 1912.
  • 出版年:1912

Elementary lessons in logic: deductive and inductive

  • 作者:Jevons,W. Stanley.
  • 出版社:New York : Macmillan, 1912.
  • 出版年:1912

The logic of conditionals : an application of probability to deductive logic

  • 作者:Adams,Ernest W.
  • ISBN:902770631X
  • 出版社:Dordrecht, Holland ; Boston : D. Reidel Pub. Co., 1975.
  • 出版年:1975

Introduction to logic and to the methodology of deductive sciences

  • 作者:Tarski,Alfred.
  • 出版社:[New York : Oxford university press, c1941]
  • 出版年:1941

Foundations of deductive databases and logic programming

  • 作者:Minker,Jack
  • ISBN:0934613400
  • 出版社:Los Altos, Calif. : M. Kaufmann Publishers, 1988.
  • 出版年:1988