摘要：关于Heyting代数的无穷自由代数的构造摘要
作者：M. Martins and T. Moraschini
论文ID：2306.15997
分类：Logic
分类简称：math.LO
提交时间：2023-06-29
PDF 下载： 英文版 中文版pdf翻译中