登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Concepts of proof in mathematics philosophy and computer science
出版社：Berlin ; Walter de Gruyter GmbH, 2016.
ISBN：9781501510809
出版年：2016
作者：Probst,Dieter,
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Proof and computation : digitization in mathematics, computer science and philosophy
  • 作者：Proof and computation (World Scientific Publishing Company)
  • ISBN：9789813270930
  • 出版社：Hackensack, New Jersey : World Scientific, 2018.
  • 出版年：2018
...

Proof and other dilemmas : mathematics and philosophy
  • 作者：Gold,Bonnie,
  • ISBN：9780883855676
  • 出版社：[Washington, D.C.] : Mathematical Association of America, c2008.
  • 出版年：2008
...

Three views of logic : mathematics, philosophy, and computer science
  • 作者：Loveland,Donald W.
  • ISBN：9780691160443
  • 出版社：Princeton, New Jersey : Princeton University Press, c2014.
  • 出版年：2014
...

Dictionary of concepts in the philosophy of science
  • 作者：Durbin,Paul T
  • ISBN：0313229791
  • 出版社：New York : Greenwood Press, 1988.
  • 出版年：1988
...

Philosophy and the concepts of modern science
  • 作者：Reiser,Oliver Leslie,
  • 出版社：New York : The Macmillan Company, 1935.
  • 出版年：1935
...

Philosophy of mathematics and natural science:
  • 作者：Weyl,Hermann,
  • 出版社：Princeton, N.J. : Princeton University Press, 1949.
  • 出版年：1949