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

Proofs and refutations the logic of mathematical discovery:
出版社：Cambridge ; New York : Cambridge University Press, 1976.
ISBN：052121078X
出版年：1976
作者：Lakatos,Imre,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Proofs and refutations : the logic of mathematical discovery
  • 作者：Lakatos,Imre.
  • ISBN：052121078X
  • 出版社：Cambridge ; New York : Cambridge University Press, 1976.
  • 出版年：1976
...

Termination proofs for logic programs
  • 作者：Plümer,Lutz.
  • ISBN：3540528377
  • 出版社：Berlin ; New York : Springer-Verlag, c1990.
  • 出版年：1990
...

Introduction to mathematical structures and proofs
  • 作者：Gerstein,Larry J.
  • ISBN：0387979972
  • 出版社：New York : Springer ; Sudbury, MA : Jones and Bartlett Publishers, c1996.
  • 出版年：1996
...

Introduction to mathematical proofs
...

Introduction to mathematical proofs : a transition
  • 作者：Roberts,Charles E.,
  • ISBN：9781420069556
  • 出版社：Boca Raton : CRC Press, 2009.
  • 出版年：2009
...

Mathematical Discovery
  • 作者：Polya,George.
  • 出版社：New York: John Wiley & Sons,Inc. , 1965.
  • 出版年：1965