The logical foundations of mathematics

出版社:Oxford ; New York : Pergamon Press, 1982.
ISBN:008025800X
出版年:1982
作者:Hatcher,William S.
资源类型:图书
细分类型:西文文献
相关推荐

Logical foundations of mathematics for behavioral scientists

  • 作者:Luchins,Abraham S.
  • 出版社:New York : Holt, Rinehart and Winston, c1965.
  • 出版年:1965

Logical foundations of probability.:

  • 作者:Carnap,Rudolf,
  • 出版社:Chicago : University of Chicago Press, 1950.
  • 出版年:1950

Logical foundations of proof complexity

  • 作者:Cook,Stephen,
  • ISBN:9780521517294
  • 出版社:Ithaca, NY : Association for Symbolic Logic ; New York, NY : Cambridge University Press, 2010.
  • 出版年:2010

Duration Calculus :Logical Foundations

  • 作者:R.Hansen
  • 出版社:中国科学院
  • 出版年:1997

Logical foundations of functional programming

  • 作者:Huet,Gerard.
  • ISBN:0201172348
  • 出版社:Reading : Addison-Wesley Pub. Co., 1990.
  • 出版年:1990

Gödel ''96 : logical foundations of mathematics, computer science and physics - Kurt Gödel''s Legacy

  • 作者:Hjek,Petr.
  • ISBN:9781107168022
  • 出版社:Cambridge, UK : Cambridge University Press, c2016.
  • 出版年:2016