Incompleteness for Higher-Order Arithmetic

EISBN:9789811399497
PISBN:9789811399480
出版社:Springer Singapore
出版类型:Brief
出版时间:2019
版次:1st ed. 2019
作者:Yong Cheng
主题词:Mathematics,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Acquisition of Complex Arithmetic Skills and Higher-Order Mathematics Concepts

  • 作者:Geary,DavidGeary,David
  • PISBN:9780128050866
  • 出版时间:2017

Higher-Order Systems

  • 作者:Federico Battiston;Giovanni Petri
  • EISBN:9783030913748
  • 出版社:Springer Nature
  • 出版时间:2022

Higher-Order Computability

  • 作者:John Longley,Dag Normann
  • EISBN:9783662479926
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2015

Solving Higher-Order Equations

  • 作者:Christian Prehofer
  • EISBN:9781461217787
  • 出版社:Birkhäuser Boston
  • 出版时间:1998

Solving Higher-Order Equations

  • 作者:Christian Prehofer
  • EISBN:9781461217787
  • 出版社:Birkhäuser Boston
  • 出版时间:1998

Higher-Order Components for Grid Programming

  • 作者:Jan Dünnweber,Sergei Gorlatch
  • EISBN:9783642008412
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009