81. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
82. Handbook of the history of logic
پدیدآورنده: edited by Dov M. Gabbay and John Woods
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: History ، Logic
رده :
BC
15
.
H264
83. Handbook of the history of logic
پدیدآورنده: / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic, History
رده :
BC15
.
H36
2004
R
84. Handbook of the history of logic
پدیدآورنده: edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: History ، Logic
رده :
BC
15
.
H36
2011
85. Interactive logic :
پدیدآورنده: edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
86. Interpolation and definability
پدیدآورنده: D. M. Gabbay, L. Maksimova
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
87. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده: by Dov M. Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
88. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده: Dov M. Gabbay
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
89. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده: Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
90. Labelled Deduction
پدیدآورنده: edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
91. Logic, Epistemology, and the Unity of Scienc
پدیدآورنده: / [electronic resource
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
92. Logic, Epistemology, and the Unity of Science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
93. Logic, Language and Reasoning
پدیدآورنده: edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
94. Logic and the modalities in the 20th century
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic ; History ; 20th century. ; Philosophy ; History ; 20th century. ;
95. Logic from Russell to Church
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic ; History. ;
96. Logical tools for handling change in agent-based systems
پدیدآورنده: Dov M. Gabbay, Karl Schlechta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
97. Mathematical problems from applied logic
پدیدآورنده: / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
98. Mathematical problems from applied logic I :
پدیدآورنده: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
99. Mathematical problems from applied logic I
پدیدآورنده: / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
A1M38
2006
100. Mathematical problems from applied logic I
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
