EN ورود

کشف منابع

Formalization

کتاب‌ها

2 نتیجه

Cover of Logic and Structure

English Beginner

Logic and Structure

Dirk van Dalen

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

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 مشاهدهٔ کتاب