发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Alan Turing and the Turing Machine.; Turing's Analysis of Computability, and Major Applications of it.; The Confluence of Ideas in 1936.; Turing in the Land of O(z).; Mathematical Logic and the Origin of Modern Computers.;

Alan Turing and the Turing Machine.; Turing's Analysis of Computability, and Major Applications of it.; The Confluence of Ideas in 1936.; Turing in the Land of O(z).; Mathematical Logic and the Origin of Modern Computers.;

Crossley, John N.; Hodges, Andrew; Herken, Rolf; Kleene, Stephen C.; Gandy, Robin; Feferman, Solomon; Davis, Martin; Phillips, Esther R.
  • 期刊名称The Journal of Symbolic Logic
  • 作者Crossley, John N.; Hodges, Andrew; Herken, Rolf; Kleene, Stephen C.; Gandy, Robin; Feferman, Solomon; Davis, Martin; Phillips, Esther R.
  • 卷第56卷
  • 期第3期
  • 印刷ISSN0022-4812
  • 文件大小326.90KB
  • 发表时间1991-09
  • DOI10.2307/2275076
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯