共 95 条
[41]
Isham CJ, 2003, ADV THEOR MATH PHYS, V7, P331
[43]
ISHAM CJ, 2005, IN PRESS FESTSCHRIFT
[44]
THE GAUGE TREATMENT OF GRAVITY
[J].
PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS,
1983, 94 (01)
:1-45
[45]
JACKIW R, 2000, MATH PHYS 2000
[46]
KASTLER D, 1986, FIELDS GEOMETRY 1986
[47]
Kock A., 1981, SYNTHETIC DIFFERENTI
[48]
KOCK A, 1979, AARHUS MATH I VARIOU, V30, P158
[49]
KRIELE M, 1999, LNP M, V59
[50]
MacLane Saunders, 1992, Sheaves in Geometry and Logic: A First Introduction to Topos Theory