搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Wanda Szmielew
DOI: 10.4064/FM-41-2-203-271
关键词:
摘要:
,1984, 引用: 1
Logic Colloquium '85,1987, 引用: 8
Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski,1976, 引用: 4
,2010, 引用: 0
,1995, 引用: 0
,2007, 引用: 9
,2006, 引用: 0
,1977, 引用: 15
Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory,1998, 引用: 0
Proof, Computation and Agency,2011, 引用: 0