Introduction to Incompleteness

EISBN:9783031642173
PISBN:9783031642166
出版社:Springer Nature
出版时间:2024
作者:Serafim Batzoglou
主题词:Mathematics and Statistics
学科:O1 ( O 数理科学和化学,O1 数学 )
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Systemics of Incompleteness and Quasi-Systems

  • 作者:Gianfranco Minati,Mario R. Abram,Eliano Pessa
  • EISBN:9783030152772
  • 出版社:Springer International Publishing
  • 出版时间:2019

Incompleteness for Higher-Order Arithmetic

  • 作者:Yong Cheng
  • EISBN:9789811399497
  • 出版社:Springer Singapore
  • 出版时间:2019

Incompleteness and Uncertainty in Information Systems

  • 作者:V. S. Alagar,S. Bergler,F. Q. Dong
  • EISBN:9781447132424
  • 出版社:Springer London
  • 出版时间:1994

Gödel's Incompleteness Theorems

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

Incompleteness and Uncertainty in Information Systems

  • 作者:V.S. Alagar,S. Bergler,F.Q. Dong
  • EISBN:9781447132424
  • 出版社:Springer London
  • 出版时间:1994

An Introduction

  • 作者:Marston Morse,Stewart S. Cairns
  • PISBN:9780125081504
  • 出版时间:Pre 2007