机译:古典与直觉算术的保守性定理的推广
intuitionistic arithmetic; conservativity; Friedman's A-translation;
机译:古典与直觉算术的保守性定理的推广
机译:有限基团的诱导定理,包括两个古典定理的共同概括
机译:直觉证明与经典真理:布鲁沃创意主体在直觉数学中的作用
机译:leanCoP 2.0和ileanCoP 1.2:经典和直觉逻辑中的高性能精益定理证明(系统描述)
机译:整合经典和直觉数学(模态逻辑)
机译:Cauchy定理和Morera定理的空间推广
机译:古典与直觉算术的保守性定理的推广