Essays in Constructive Mathematics

EISBN:9783030985585
PISBN:9783030985578
出版社:Springer Nature
出版时间:2022
作者:Harold M. Edwards
主题词:Mathematics and Statistics
学科:O 数理科学和化学,O1 数学,O14 数理逻辑、数学基础,O141 数理逻辑(符号逻辑),O141.3 递归论(递归函数、能行性理论)
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Essays in Constructive Mathematics

  • 作者:Harold M. Edwards
  • EISBN:9780387271309
  • 出版社:Springer New York
  • 出版时间:2005

Constructive Mathematics

  • 作者:Fred Richman
  • EISBN:9783540387596
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1981

Constructive Mathematics

  • 作者:F. Richman
  • EISBN:9783540387596
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1981

Foundations of Constructive Mathematics

  • 作者:M.J. Beeson
  • EISBN:9783642689529
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Foundations of Constructive Mathematics

  • 作者:Michael J. Beeson
  • EISBN:9783642689529
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Studies in Constructive Mathematics and Mathematical Logic

  • 作者:A. O. Slisenko
  • EISBN:9781468489682
  • 出版社:Springer US
  • 出版时间:1969