Book review

被引:0
作者
机构
关键词
Mathematical Logic; Book Review; Computational Linguistic;
D O I
10.1023/A:1017124027353
中图分类号
学科分类号
摘要
引用
收藏
页码:107 / 116
页数:9
相关论文
共 6 条
  • [1] Detlefsen M.(1979)On interpreting Gödel's Second Theorem Journal of Philosophical Logic 8 297-313
  • [2] Feferman S.(1984)Kurt Gödel: conviction and caution Philosophia Natualis 21 546-562
  • [3] Gödel K.(1958)Über ein bisher noch nicht benützte Erweiterung der finiten Standpunktes Dialectica 12 280-287
  • [4] Jeroslow R.(1975)Experimental logics and Δ Journal of Philosophical Logic 4 253-267
  • [5] Lucas J.(1961) theories Philosophy 36 112-127
  • [6] Rosser J. B.(1939)Minds, Machines, and Gödel Journal of Symbolic Logic 4 53-60