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

Proof and computation : digitization in mathematics computer science and philosophy
出版社：Hackensack, New Jersey : World Scientific, 2018.
ISBN：9789813270930
出版年：2018
作者：Proof and computation (World Scientific Publishing Company)
资源类型：图书
细分类型：西文文献,中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Concepts of proof in mathematics, philosophy, and computer science
  • 作者：Probst,Dieter,
  • ISBN：9781501510809
  • 出版社：Berlin ; Walter de Gruyter GmbH, 2016.
  • 出版年：2016
...

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
...

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

Computation, proof, machine : mathematics enters a new age
  • 作者：Dowek,Gilles,
  • ISBN：0521118018
  • 出版社：New York, NY : Cambridge University Press, 2015.
  • 出版年：2015
...

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