Gödel's Theorems and Zermelo's Axioms

EISBN:9783030522797
PISBN:9783030522780
出版社:Springer International Publishing
出版类型:Graduate/advanced undergraduate textbook
出版时间:2020
版次:1st ed. 2020
作者:Lorenz Halbeisen,Regula Krapf
主题词:Mathematics,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Gödel's Incompleteness Theorems

  • 作者:Dirk W. Hoffmann
  • EISBN:9783662695500
  • 出版社:Springer Nature
  • 出版时间:2024

The P=NP Question and Gödel’s Lost Letter

  • 作者:Richard J. Lipton
  • EISBN:9781441971555
  • 出版社:Springer US
  • 出版时间:2010

Types, Tableaus, and Gödel’s God

  • 作者:Melvin Fitting
  • EISBN:9789401004114
  • 出版社:Springer Netherlands
  • 出版时间:2002

Types, Tableaus, and Gödel’s God

  • 作者:M. Fitting
  • EISBN:9789401004114
  • 出版社:Springer Netherlands
  • 出版时间:2002

Noether's Theorems

  • 作者:Gennadi Sardanashvily
  • EISBN:9789462391710
  • 出版社:Atlantis Press
  • 出版时间:2016

Zermelo’s Axiom of Choice

  • 作者:G.H. Moore
  • EISBN:9781461394785
  • 出版社:Springer New York
  • 出版时间:1982