6081. #Topoi, the categorial analysis of logic
پدیدآورنده: #Robert Goldblatt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Toposes
رده :
#
QA
،#.
G64
،#
1984
6082. Topoi, the categorial analysis of logic
پدیدآورنده: / Robert Goldblatt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Toposes
رده :
QA169
.
G64
1983
6083. Topology via logic
پدیدآورنده: Vickers, Steven
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Topology
رده :
QA
611
.
V53
1989
6084. Topology via logic
پدیدآورنده: / Steven Vickers
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Topology
رده :
514
V637t
6085. Topology via logic
پدیدآورنده: Vickers, Steven.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Topology
رده :
QA
611
.
V53
1989
6086. 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
6087. 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
6088. 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
6089. Towards a Design Flow for Reversible Logic
پدیدآورنده: / Robert Wille, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
6090. Towards a design flow for reversible logic
پدیدآورنده: Wille, Robert., Robert Wille, Rolf Drechsler
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer logic,، Computer architecture,، Logic programming
رده :
QA
76
.
9
.
L63
W55
2010
6091. Towards a design flow for reversible logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;
6092. Towards a design flow for reversible logic
پدیدآورنده: / Robert Wille, Rolf Drechsler
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Computer architecture.,Logic programming.
رده :
QA
,
76
.
9
,.
L63
,
W55
,
2010
6093. Towards a model of strategic management incorporating fuzzy logic
پدیدآورنده: Chao-Chin, Kan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business
6094. Towards an arithmetical logic :
پدیدآورنده: by Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
6095. Towards an arithmetical logic :
پدیدآورنده: Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
6096. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
6097. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده: Makinson, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
6098. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
6099. Towards non-being :the logic and metaphysics of intentionality
پدیدآورنده: Priest, Graham.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Intentionality )Philosophy(
رده :
B105
.
I56
P76
2005
6100. Towards non-being : the logic and metaphysics of intentionality
پدیدآورنده: Priest, Graham, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intentionality )Philosophy(,، Philosophy of mind,Philosophy ، Language and languages
رده :
B
105
.
I56P74
2016
