21. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
22. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
23. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295
24. Freyd's models for the independence of the axiom of choice /
پدیدآورنده : Andreas Blass and Andre Scedrov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axiom of choice,Forcing (Model theory),Toposes
رده :
QA248
.
A57
no
.
404
25. Higher topos theory
پدیدآورنده : Lurie, Jacob
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Toposes,، Categories )Mathematics(
رده :
QA
169
.
L87
26. Indexed categories and their applications
پدیدآورنده :
موضوع : ، Categories )Mathematics(,، Toposes,، Algebra, Universal
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. Indexed categories and their applications
پدیدآورنده : John Stone , P. T.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Toposes,Addresses, essays, lectures ، Algebra, Universal
رده :
QA
3
.
L28
no
.
661
28. Indexed categories and their applications
پدیدآورنده : P. T. Johnstone ... )et al.( ; edited by P. T. Johnstone and R. Pare
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Toposes,Addresses, essays, lectures ، Algebra, Universal
رده :
QA
1
.
L4
v
.
661
29. Indexed categories and their applications
پدیدآورنده : P. T. Johnstone ... ]et al.[; edited by P. T. Johnsotone and R. Pare
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Toposes,Addresses, essays, lectures ، Algebra, Universal
رده :
QA
3
.
L28
Vol
.
661
30. Lecture notes on topoi and quasitopoi
پدیدآورنده : Oswald Wyler
کتابخانه: (کرمان)
موضوع : Toposes
رده :
QA
169
.
W94
1991
31. Lecture notes on topoi and quasitopoi
پدیدآورنده : Wyler, Oswald
موضوع : ، Toposes
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
32. Lecture notes on topoi and quasitopoi
پدیدآورنده : Wyler, Oswald
کتابخانه: (طهران)
موضوع : ، Toposes
رده :
QA
169
.
W94
33. Model theory and topoi :a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lawvere, C. Maurer, G. C. Wraith
کتابخانه: (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
9
.
7
.
M6
1975
34. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lawvere, C. Maurer, and G. C. Wraith
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
35. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
36. Model theory and topoi : a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lowvere, C. Maurer and G. C. Wraith
کتابخانه: (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
Vol
.
445
37. Proper maps of toposes
پدیدآورنده : Moerdijk, Ieke, 8591-
کتابخانه: (طهران)
موضوع : ، Toposes,، Mappings )Mathematics(
رده :
QA
3
.
A475
no
.
705
38. Relative category theory and geometric morphisms : a logical approach
پدیدآورنده : Chapman, Jonathan.
کتابخانه: (طهران)
موضوع : Toposes
رده :
QA
169
.
C48
1991
39. Relative category theory and geometric morphisms : a logical approach
پدیدآورنده : Chapman, Jonathan.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Toposes
رده :
QA
169
.
C48
1991
40. Sheaves in geometry and logic
پدیدآورنده : / Saunders Mac Lane, Ieke Moerdijk
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Toposes
رده :
QA169
.
M335
1992
