相关推荐

Logical Foundations of Mathematics and Computational Complexity

  • 作者:Pavel Pudlák
  • EISBN:9783319001197
  • 出版社:Springer International Publishing
  • 出版时间:2013

Foundations of Mathematics

  • 作者:Jack J. Bulloff,Thomas C. Holyoke,Samuel W. Hahn
  • EISBN:9783642867453
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1969

Foundations of Mathematics

  • 作者:Erwin Engeler
  • EISBN:9783642780523
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

Foundations of Mathematics

  • 作者:Jack John Bulloff,Thomas Campell Holyoke,S.W. Hahn
  • EISBN:9783642867453
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1969

Foundations of Mathematics

  • 作者:Erwin Engeler
  • EISBN:9783642780523
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

Logical Foundations of Computer Science

  • 作者:Sergei Artemov;Anil Nerode
  • EISBN:9783030931001
  • 出版社:Springer Nature
  • 出版时间:2022