加载中…
2011-03-22
E. Specker: "The logic of non-simultaneously decidable propositions" (1960)
M. P. Seevinck
文献摘要
Translation of ‘Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen’ by Ernst Specker, Dialectica, vol. 14, 239 - 246 (1960).
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本