
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models
A. PrellerVolume:
31
Année:
1985
Langue:
english
Pages:
8
DOI:
10.1002/malq.19850311404
Fichier:
PDF, 473 KB
english, 1985