相关推荐

Incompleteness for Higher-Order Arithmetic

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

Solving Higher-Order Equations

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

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

Higher-Order Algebra, Logic, and Term Rewriting

  • 作者:Gilles Dowek,Jan Heering,Karl Meinke,Bernhard Möller
  • EISBN:9783540683896
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996