First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

معرفی کتاب «First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)» نوشتهٔ Michael Makkai, Gonzalo E. Reyes، منتشرشده توسط نشر Springer Spektrum. in Springer-Verlag GmbH در سال 1977. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.

Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric morphisms of topoi.- Conceptual completeness.- Theories as categories.- Classifying topoi.- Corrections to "first order categorical logic". Michael Makkai, Gonzalo E. Reyes. Bibliography: P. [298]-301.

دانلود کتاب First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)