101. Medieval supposition theory revisited :
پدیدآورنده : edited E. P. Bos ; in collaboration with H. A. G. Braakhuis [and three others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Rijk, L. M. de,1924-2012.,Rijk, L. M. de,1924-2012., Logica modernorum.,Fallacies (Logic),Logic, Medieval.
102. Metamathematics of Fuzzy Logic
پدیدآورنده : by Petr Hájek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
103. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
پدیدآورنده : Walter A. Carnielli and Luiz Paulo de Alcantara
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
104. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
پدیدآورنده : Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
105. Methods of Cut-Elimination
پدیدآورنده : / Matthias Baaz, Alexander Leitsch
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
رده :
QA76
,.
9
.
A96
,
B33
2011
106. Misticismo e logica
پدیدآورنده : Russell, Bertrand
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Philosophy, English,، Science,، Mathematics
رده :
B
1649
.
R9
M5
1970
107. Modal fixpoint logic :
پدیدآورنده : Gaëlle Marie Marguerite Fontaine.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fix point methoden.,Modale logica.,Modeltheorie.
108. Modalities in medieval logic
پدیدآورنده : door Sara Lianna Uckelman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Medieval.,Logica.,Modality (Logic)
رده :
BC34
.
D667
2009
109. Modality and meaning /
پدیدآورنده : by William G. Lycan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and languages-- Philosophy.,Metaphysics.,Modality (Logic),Semantics (Philosophy),Semantics.,Betekenis.,Language and languages-- Philosophy.,Logica matematica.,Metaphysics.,Modalität,Modaliteit.,Modality (Logic),Semantics (Philosophy),Semantics.,Semantik
رده :
P106
.
L885
1994
110. Modern logic :
پدیدآورنده : Graeme Forbes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Modern-- 20th century.,Logic, Symbolic and mathematical.,Logic, Modern -- 20th century.,Logic, Symbolic and mathematical.,Logique-- 20e siècle.,Logique symbolique et mathématique.,Logic, Modern.,Logic, Symbolic and mathematical.,Logik,Logique.,Mathematische Logik,Symbolische logica.,Wiskundige logica.
رده :
BC135
.
F57
1994
111. Nachrichten von der pferdezucht der araber und den arabischen pferden
پدیدآورنده : / Karl Wilhelm Ammon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Arabian horse
رده :
636
.
11
Am-N
112. Notebooks, 1914-1916 /
پدیدآورنده : Ludwig Wittgenstein ; ed. by G.H. von Wright and G.E.M. Anscombe ; with an English transl. [from the German] by G.E.M. Anscombe ; Index prep. by E.D. Klemke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logica.,Taalfilosofie.
113. O desenvolvimento da logica
پدیدآورنده : William Kneale, Marta Kneale; prefacio de William Kneale; trad. de M.S. Lourenço.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logica.
114. Overview of the PMBOK® guide :
پدیدآورنده : Deasún Ó Conchúir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Project management, Handbooks, manuals, etc.,Affaires.,BUSINESS & ECONOMICS-- Project Management.,Project management.,Science économique.,TECHNOLOGY & ENGINEERING-- Project Management.
رده :
HD69
.
P75
C66
2011
115. Pauli Veneti Logica magna
پدیدآورنده : Paolo, Vento, Ca., 0731-9241
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Early works to 0081 ، Logic,، Proposition )Logic(
رده :
BC
60
.
P3613
116. Per una poetica dell'inclinazione: Scrittura del trauma ed etica relazionale nella poesia di Amelia Rosselli
پدیدآورنده : Carpita, Chiara,Carpita, Chiara
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
117. Philosophy of logic /
پدیدآورنده : W.V. Quine.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Philosophy.,Logique.,Philosophie.,Logic.,Logica.,PHILOSOPHY-- Logic.,Philosophy.
رده :
BC51
.
Q5
1986eb
118. Practical induction /
پدیدآورنده : Elijah Millgram.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Induction (Logic),Reasoning.,Induction (Logic),Argumentation.,Induction (Logique),Raisonnement.,08.33 logics and argumentation.,Handelen.,Inductie (logica),Induction (Logic),Induction (Logic),Induktion,Reasoning.,Reasoning.
رده :
BC177
.
M52
1997
119. Pragmatismo e oltre /
پدیدآورنده : Charles S. Peirce ; introduzione, traduzione e apparati di Giovanni Maddalena.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
120. Problem solving methods :
پدیدآورنده : Dieter Fensel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science),Problem solving.,Résolution de problème.,Systèmes experts (Informatique),Expert systems (Computer science),Expert systems (Computer science),Formale Sprache,Informatiesystemen.,Künstliche Intelligenz,Logica.,Methodologie.,Probleemoplossing.,Problem solving.,Problem solving.,Problemlösen,Résolution de problème.,Software Engineering,Systèmes experts (informatique),Wissenschaft,Wissenstechnik
رده :
QA76
.
76
.
E95
F48
2000
