Journal of Mathematical Logic. 2011;11(1):29-59. doi: 10.1142/S0219061311000992 Q10.92025
AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES
DOI: 10.1142/S0219061311000992
摘要 查看摘要
Journal of Mathematical Logic. 2011;11(1):29-59. doi: 10.1142/S0219061311000992 Q10.92025
DOI: 10.1142/S0219061311000992
摘要 查看摘要