Ordinal calculator-开源

【文件属性】：
文件名称：Ordinal calculator-开源
文件大小：512KB
文件格式：PDF
更新时间：2021-04-27 20:35:01
开源软件 该程序评估序数表达式和关系。 以纯文本和/或TeX格式显示标准格式输出。 它支持普通符号，甚至超出了Veblen函数可定义的符号。