原始递归字算术WA的公理系统
Acta Mathematica Sinica, Chinese Series ›› 1981, Vol. 24 ›› Issue (5) : 717-724.
{{custom_keyword}} /
EndNote
Ris (Procite)
Bibtex
Accesses
Citation
Altmetric
Detail
/