Recursion Theory Week

EISBN:9783540471424
PISBN:9783540527725
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1990
作者:Klaus Ambos-Spies,Gert H. Müller,Gerald E. Sacks
主题词:Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Recursion Theory Week

  • 作者:Heinz-Dieter Ebbinghaus,Gert H. Müller,Gerald E. Sacks
  • EISBN:9783540395966
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Recursion Theory Week

  • 作者:Heinz-Dieter Ebbinghaus,Gert H. Müller,Gerald E. Sacks
  • EISBN:9783540395966
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1985

Recursion Theory Week

  • 作者:Klaus Ambos-Spies,Gert H. Müller,Gerald E. Sacks
  • EISBN:9783540471424
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1990

Recursion Theory

  • 作者:Shoenfield
  • EISBN:9781316717011
  • 出版社:Cambridge University Press
  • 出版时间:2017

General Recursion Theory

  • 作者:Fenstad
  • EISBN:9781316717073
  • 出版社:Cambridge University Press
  • 出版时间:2017

Classical Recursion Theory

  • 作者:Piergiorgio Odifreddi
  • PISBN:9780444894830
  • 出版时间:Pre 2007