EN ورود

کشف منابع

Model-theory

کتاب‌ها

2 نتیجه

Cover of First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

English Beginner

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Michael Makkai,Gonzalo E. Reyes

1977 مشاهدهٔ کتاب

Cover of Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

English Beginner

Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism

John T. Baldwin

2018 مشاهدهٔ کتاب