@杂项{zbMATH03683840，作者={Seely，R.A.G.}，Title={证明理论中的弱伴随}，年份={1979}，语言={英语}，HowPublished={滑轮应用，{Proc}。{资源}。{交响乐}。，{达勒姆}1977，{莱克特}。{注释}{数学}。753, 697-701 (1979).},关键词={18A15,18D05,03G30,03F99,18A30,18A40}，zbMATH={3683840}，Zbl={0438.18002}}