Proof Theory and Intuitionistic Systems

EISBN:9783540368755
PISBN:9783540055419
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1971
版次:1971
作者:Bruno Scarpellini
主题词:Mathematics,Mathematical Logic and Foundations,Mathematics,general
语种:英语
相关推荐

Proof Theory and Intuitionistic Systems

  • 作者:Bruno Scarpellini
  • EISBN:9783540368755
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1971

Proof Theory

  • 作者:Wolfram Pohlers
  • EISBN:9783540693192
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Proof Theory

  • 作者:Kurt Schütte
  • EISBN:9783642664731
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1977

Proof Theory

  • 作者:Wolfram Pohlers
  • EISBN:9783540468257
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989

Proof Theory

  • 作者:K. Schütte
  • EISBN:9783642664731
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1977

Proof Theory

  • 作者:Wolfram Pohlers
  • EISBN:9783540468257
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989