Mathematical logic and formalized theories; a survey of basic concepts and results.

出版社:Amsterdam, North-Holland Pub. Co., 1971.
ISBN:0444100830
出版年:1971
作者:Rogers,Robert,
资源类型:图书
细分类型:西文文献
相关推荐

Minimization algorithms, mathematical theories, and computer results.

  • 作者:Seminar on Minimization Algorithms,
  • ISBN:0126807507
  • 出版社:New York, Academic Press, 1972.
  • 出版年:1972

Applications of information theory to psychology; a summary of basic concepts, methods, and results.

  • 作者:Attneave,Fred.
  • ISBN:CNY13.65
  • 出版社:New York, Holt [1959]

A survey of mathematical logic

  • 作者:Wang,Hao
  • 出版社:0000.00,Peking : Science Press, 1962
  • 出版年:1962

Genetic research : a survey of methods and main results.

  • 作者:Müntzing,Arne,
  • 出版社:Stockholm : LTs förlag, 1961.
  • 出版年:1961

A survey of mathematical logic.

  • 作者:Wang,Hao,
  • 出版社:Peking : Science Press, 1964.
  • 出版年:1964