搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Paul Finsler
DOI: 10.1007/BF02566915
关键词:
摘要:
From Dedekind to Gödel,1995, 引用: 11
Mathematical Logic Quarterly,2013, 引用: 2
ACM Transactions on Programming Languages and Systems,2009, 引用: 268
,2007, 引用: 9
,2001, 引用: 5
,1983, 引用: 4