Department of Mathematics, 255 Hurley Building, University of Notre Dame, Notre Dame, IN 46556-4618, United States of America;
Department of Mathematics, 255 Hurley Building, University of Notre Dame, Notre Dame, IN 46556-4618, United States of America;
Department of Mathematical Sciences, 322 Walker Hall, Appalachian State University, Boone, NC 28608-2091, United States of America;
机译:Mathias的通用性强于通用图灵理想
机译:可计算Mathias强制的泛型
机译:Mathias和集合论
机译:在Mathias泛型集上
机译:强大的基础和可数集的通用性。
机译:开发临床工具用于评定ICF通用-30 /康复的机身功能类别在日本康复实践中设定和考察其Interrader可靠性
机译:可计算mathias强制的泛型