1. Accessible categories: the foundations of categorical model theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M35
1989

2. Accessible categories : the foundations of categorical model theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M25

3. First order categorical logic : model-theoretical methods in the theory of topoi and related categories

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M3
1977

4. First order categorical logic: model-theoretical methods in the theory of topoi and related categories

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
3
.
L28
no
.
611

5. First order categorical logic: model-theorical methods in the theory of topoi and related categories

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
3
.
L28
no
.
611

6. Forcing and classifying topoi /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Categories (Mathematics),Forcing (Model theory),Toposes

رده :
QA169
.
A57
no
.
295