1. An invitation to applied category theory :
پدیدآورنده: Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
2. An invitation to applied category theory
پدیدآورنده: Brendan Fong, David I. Spivak.,Fong, Brendan,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
3. An invitation to applied category theory
پدیدآورنده: /Brendan Fong (Massachusetts Institute of Technology), David I. Spivak (Massachusetts Institute of Technology).,Fong, Brendan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F6
2019
4. An invitation to applied category theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
5. Purity, spectra and localisation
پدیدآورنده: Mike Prest
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P675
6. Purity, spectra and localisation /
پدیدآورنده: Mike Prest
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Logic, Symbolic and mathematical
رده :
QA150
.
P74
2009
7. Purity, spectra and localisation
پدیدآورنده: Mike Prest
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
9
.
P74P8
8. Sets, logic and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
9. Sets, logic and categories
پدیدآورنده: Peter J. Cameron
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
10. Sets, logic, and categories
پدیدآورنده: / Peter J. Cameron
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Set theory,Logic, Symbolic and mathematical,Categories (Mathematics)
رده :
QA
248
.
C17
1999
11. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J. )Peter Jephson(
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Sets, logic and categories
پدیدآورنده: Peter J. Cameron
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )mathematics(
رده :
QA
248
.
C17
1999
13. Sets, logic, and categories
پدیدآورنده: Cameron, Peter J.)Peter Jephson(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
14. Sets, logic, and categories
پدیدآورنده: Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
15. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
16. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
17. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
18. Toposes, Algebraic geometry and logic
پدیدآورنده: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
19. Toposes, algebraic geometry and logic
پدیدآورنده: / [by] I. Bucur... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Categories (Mathematics) -- Congresses,Geometry, Algebraic -- Congresses,Logic, Symbolic and mathematical -- Congresses,Toposes
رده :
QA
169
.
T6
1972
20. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده: I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
