21. Elementary categories, elementary toposes
پدیدآورنده : McLarty, Colin.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Categories )Mathematics(,، Toposes
رده :
QA
169
.
M45
1995
22. Elementary categories, elementary toposes
پدیدآورنده : Colin Mclarty
موضوع : Categories (mathematics),Toposes
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
23. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: (طهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
24. 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
25. 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
26. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295
27. 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
28. Higher topos theory
پدیدآورنده : Lurie, Jacob
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Toposes,، Categories )Mathematics(
رده :
QA
169
.
L87
29. Indexed categories and their applications
پدیدآورنده :
موضوع : ، Categories )Mathematics(,، Toposes,، Algebra, Universal
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. 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
31. 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
32. 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
33. Lecture notes on topoi and quasitopoi
پدیدآورنده : Oswald Wyler
کتابخانه: (کرمان)
موضوع : Toposes
رده :
QA
169
.
W94
1991
34. Lecture notes on topoi and quasitopoi
پدیدآورنده : Wyler, Oswald.
موضوع : ، Toposes
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
35. Lecture notes on topoi and quasitopoi
پدیدآورنده : Wyler, Oswald
کتابخانه: (طهران)
موضوع : ، Toposes
رده :
QA
169
.
W94
36. 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
37. 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
38. Model theory and topoi: a collection of lectures by various authors
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
no
.
445
39. 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
40. Proper maps of toposes
پدیدآورنده : Moerdijk, Ieke, 8591-
کتابخانه: (طهران)
موضوع : ، Toposes,، Mappings )Mathematics(
رده :
QA
3
.
A475
no
.
705
