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