Extensional Gödel functional interpretation; a consistency proof of classical analysis.

出版社:Berlin, New York, Springer-Verlag, 1973.
ISBN:0387061193
出版年:1973
作者:Luckhardt,Horst.
资源类型:图书
细分类型:西文文献
相关推荐

Gödel''s proof

  • 作者:Nagel,Ernest,
  • 出版社:London : Routledge, 1959.
  • 出版年:1959

A source book in classical analysis.

  • 作者:Birkhoff,Garrett,
  • ISBN:0674822455
  • 出版社:Cambridge, Harvard University Press, 1973.
  • 出版年:1973

Classical complex analysis.

  • 作者:Lin,I-Hsiung.
  • ISBN:9789814271288
  • 出版社:Singapore ; Hackensack, NJ : World Scientific, c2011.
  • 出版年:2011

Classical complex analysis.

  • 作者:Lin,I-Hsiung.
  • ISBN:9789814261227
  • 出版社:Singapore ; Hackensack, NJ : World Scientific, c2011.
  • 出版年:2011

Functional analysis.

  • 作者:Wilansky,Albert.
  • 出版社:New York : Blaisdell Pub. Co. 1964.,New York : Blaisdell, 1964.,Berlin : Springer-Verlag, 1978.
  • 出版年:1964

Basics of Functional Analysis.

  • ISBN:9781783323944
  • 出版社:Alpha Science 2019
  • 出版年:2019