Trivial Extensions of Abelian Categories 论文

1975Lecture notes in mathematics引用 307
Computability, Logic, AI Algorithms