机译:Frege的GrundgesetzeΔ1 sup> 1 sub> -CA片段的一致性
Departamento de Matemática Universidade de Lisboa;
Departamento de Matemática Universidade de Lisboa;
comprehension; consistency proofs; Frege; recursive saturation; Russell's paradox; second-order logic; value range;
机译:关于弗雷格·格兰杰塞特的多元理论的一致性
机译:关于弗雷格·格兰杰塞兹的多元理论的一致性
机译:弗雷格的粒度集合和戈德尔的可构造宇宙
机译:Spigot:片段级别的文件共享和网格上的一致性
机译:重新审视弗雷格的现实主义:对弗雷格奖学金最近趋势的评论。
机译:方法论指导会产生一致性吗? NICE单一技术评估中乳腺癌效用价值测量方法学一致性的综述
机译:2002年,“关于弗雷格的Grundgesetze的∆ 1 1-CA片段的一致性