Yazar
Michael Makkai
4 cilt bulundu.
Cilt sonuçları
Duality and definability in first order logic
Michael Makkai, Mihály Makkai · American Mathematical Society
106 sayfa · 1993
Duality theory (Mathematics) / First-order logic / Toposes
First order categorical logic
Michael Makkai, Mihály Makkai · Springer-Verlag
301 sayfa · 1977
Categories (Mathematics) / Model theory / Toposes / Logic
Accessible categories
Michael Makkai, Mihály Makkai · American Mathematical Society
176 sayfa · 1989
Categories (Mathematics) / Model theory / Toposes
First Order Categorical Logic
Michael Makkai, Gonzalo E. Reyes · Springer
320 sayfa · 1977
Model theory / Categories (mathematics) / Mathematics / Symbolic and mathematical Logic / Mathematical Logic and Foundations