Duality and definability in first order logic /
Makkai, Michael,1939-
Providence, R.I. : American Mathematical Society,
c1993.
"September 1993, volume 105, number 503 (fourth of 6 numbers)."
Includes bibliographical references (p. 105-106).
First-order logic.
Duality theory (Mathematics)
Toposes.