M.W.邦德。 基于组合逻辑的范畴理论。 (英语) Zbl 0545.03005号 架构(architecture)。数学。Logik Grundlagenforsch公司。 24, 1-16 (1984).MSC公司:03B40型 18甲15 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder},拱门。数学。Logik Grundlagenforsch公司。24、1-16(1984年;Zbl 0545.03005) 全文: 内政部 欧洲DML
M.W.邦德。 等式谓词演算中的集合论。 (英语) Zbl 0537.03011号 架构(architecture)。数学。Logik Grundlagenforsch公司。 23, 109-113 (1983).MSC公司:03B40型 03E30年 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder},拱门。数学。Logik Grundlagenforsch公司。23、109-113(1983年;Zbl 0537.03011) 全文: 内政部 欧洲DML
M.W.邦德。 任意高阶有限阶谓词演算。 (英语) Zbl 0528.03005号 架构(architecture)。数学。Logik Grundlagenforsch公司。 23, 1-10 (1983). 审核人:O.Štěpánková(普拉哈) MSC公司:03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder},拱门。数学。Logik Grundlagenforsch公司。23、1-10(1983年;Zbl 0528.03005) 全文: 内政部 欧洲DML