A Language for Category Theory in which
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models
โ
A. Preller
๐
Article
๐
1985
๐
John Wiley and Sons
๐
English
โ 473 KB