交叉引用引用
这本书已经以下出版物引用。此列表是根据提供的数据生成的交叉参考.
斯蒂芬·辛普森。2009质量问题与测量——理论规律.符号逻辑公报，第15卷，发布。4,第页。385
爱德华多·亚历杭德罗·巴里奥2010无标准模型的真理理论和亚勃罗序列.Studia Logica公司，第96卷，发布。三，第页。375
理查德·肖尔（Richard A.Shore）。2010逆向数学：逻辑的游乐场.符号逻辑公报，第16卷，问题。三，第页。378
道格拉斯·森泽阿里·达什蒂费里特·托斯卡和塞巴斯蒂安·怀曼2010程序、证明、流程.第6158卷，问题，第页。88
伊泰州奈曼2011反转中感应的必要使用.符号逻辑杂志，第76卷，发布。2,第页。561
山姆·桑德斯2011ERNA与弗里德曼的逆向数学.符号逻辑杂志，第76卷，发布。2,第页。637
保罗·沙弗2011梅德韦杰夫和穆奇尼克学位中的真算术编码.符号逻辑杂志，第76卷，发布。1中，第页。267
阿尔贝托·马可尼和理查德·肖尔（Richard A.Shore）。2011二阶算法中的最大线性扩张定理.数学逻辑档案，第50卷，发布。5-6,第页。543
杰西·阿拉玛2011智能计算机数学.第6824卷，问题，第页。276
安东尼奥·蒙塔尔班2011逆向数学中的开放性问题.符号逻辑公报，第17卷，问题。三，第页。431
山姆·桑德斯和横山，Keita2012逆向数学中两种情况下的Diracδ函数.数学逻辑档案，第51卷，发布。1-2中，第页。99
杰弗里·赫斯特。2012希尔伯特vs.海德曼.数学逻辑档案，第51卷，发布。1-2中，第页。123
弗朗索瓦·多雷斯。2012保留$${\mathsf的Mathias强制的变体{ACA}_0}$$.数学逻辑档案，第51卷，发布。7-8,第页。751
弗洛德，斯蒂芬2012逆向数学与Ramsey型König引理.符号逻辑杂志，第77卷，发布。4,第页。1272
阿尔贝托·马可尼安东尼奥·蒙塔尔班和理查德·肖尔（Richard A.Shore）。2012计算最大链.数学逻辑档案，第51卷，发布。5-6,第页。651
埃马努埃莱·弗里泰翁和阿尔贝托·马可尼2012偏序的线性扩张与逆向数学.《数理逻辑季刊》，第58卷，问题。6,第页。417
亚历山大·克鲁泽。2012本原递归与链式反链原理.《圣母院形式逻辑杂志》，第53卷，发布。2,
保罗·沙弗2012$${\Pi^1_1\tt中的Menger定理{-CA}_0}}$$.数学逻辑档案，第51卷，发布。3-4,第页。407
齐默尔曼，约格和克里默斯，阿明B。2012世界是如何计算的.第7318卷，问题，第页。745
道格拉斯·森泽阿里·达什蒂费里特·托斯卡和塞巴斯蒂安·怀曼2012一维可数子移位的可计算性.计算系统理论，第51卷，发布。三，第页。352
