SYNTAX ON GRAPHS AND EXTENSION BY DEFINITION IN ELEMENTARY TOPOS THEORY

被引：0

作者：

PRELLER, A

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1979年 / 44卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：457 / 458

页数：2

相关论文

共 5 条

[1]

BLANC G, 1977, THESIS LUMINY

[2]

FREYD P, 1976, ALGEBRA TOPOLOGY CAT, P55

[3]

LAWVERE W, 1976, ALGEBRA TOPOLOGY CAT, P101

[4]

PRELLER A, 1977, 1975 C INT LOG CLERM, P183

[5]

RAMBAUD C, 1977, THESIS LUMINY