41. Frühe Schriften.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Philosophy.,Philosophie-- Collections.,Argumentatieleer.,Filosofia contemporanea.,Heidegger, martin.,Judgment.,Logica.,Philosophy.

رده :
B3279
.
H46
1972

42. Fuzzy Logic

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Mathematics.

43. Gilbert de Poitiers et ses contemporains : aux origines de la Logica modernorum : actes du septieme Symposium europeen d'histoire de la logique et de la semantique medievales : Centre d'etudes superieure

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic, Medieval,Congresses ، Semantics )Philosophy(

رده :
BC
34
.
S95
1985

44. Grundzüge der theoretischen Logik

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Logica Matematica.

رده :
BC135
.
V663
1949

45. Handbook of mathematical logic. tics; ed. by barwise, jon.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.

رده :
QA9
.
H32
1977

46. Handbook of philosophical logic.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Handbooks, manuals, etc.,Droit.,Logic.,Logica.,Logica.,Logik,PHILOSOPHY, Logic.,Sciences humaines.,Sciences sociales.

رده :
BC1
.
H36
v
.
15

47. Historia de la lógica formal /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic-- History.,Logica-- Historia.,Logic.,Lógica matemática, Historia.

رده :
BC15
B6318

48. Human inference :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Cognition.,Inference.,Judgment.,Cognition.,Judgment.,Logic.,Social Perception.,Cognition.,Inférence (Logique),Jugement.,Cognitie.,Cognition.,Gevolgtrekkingen (logica),Inference.,Judgment.,Kognition,Oordeel.,Processos Cognitivos.,Psychologie,Schlussfolgern,Soziales Urteil,Theorie

رده :
BF311
.
N57

49. Identity and modality /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Identity (Philosophical concept), Congresses.,Modality (Theory of knowledge), Congresses.,Identity (Philosophical concept),Modale logica.,Modality (Theory of knowledge),PHILOSOPHY-- Metaphysics.

رده :
BD236
.
I4155
2006eb

50. Il gioco della logica /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Giochi matematici,Logica,Logica matematica

51. Infectiepreventie van A tot Z voor de mondzorgpraktijk /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Dentistry.,Infection.,Dentistry.,Infection.,MEDICAL-- Surgery-- General.

رده :
RK51
.
5

52. Inference, explanation, and other frustrations :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Induction (Logic),Inference.,Science-- Methodology.,Science-- Philosophy.,08.35 philosophy of science.,Aufsatzsammlung,Inductie (logica),Induction (Logic),Inference.,Inférence.,Naturwissenschaften,Philosophie,Philosophie des sciences.,Science-- Methodology.,Science-- Philosophy.,Sciences-- Méthodologie.,Wetenschapsfilosofie.,Wissenschaftsphilosophie,Wissenschaftstheorie

رده :
Q175
.
3
.
I53
1989

53. Infinite words

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Machine theory,Group theory,Automates mathematiques, Theorie des,Groupes, Theorie des,Automatentheorie.$2 gtt,Speltheorie.$2 gtt,Logica.$2 gtt,Groepentheorie.$2 gtt,Topologie.$2 gtt

رده :
MLCM
2006/41200
(
Q
)

54. Infinite words

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Machine theory,Group theory,Automates mathematiques, Theorie des,Groupes, Theorie des,Automatentheorie.$2 gtt,Speltheorie.$2 gtt,Logica.$2 gtt,Groepentheorie.$2 gtt,Topologie.$2 gtt

رده :
MLCM
2006/41200
(
Q
)

55. Introduçao a logica para a ciencia da computaçao

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logica matematica nao-classica.,Logica no ensino.

56. ‏‫Introduccion al arte de la logica (Kitab al - Madkhal li - Sinaat al - mantiq) por Abentomlus de Alcira (Abul - Hajjaj Yusuf Ibn Muhammad Ibn Tumlus) ... Fasciculo ‭‭‭I

پدیدآورنده:

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

موضوع: فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.

رده :
‏‫‭‭‭
BBR
۹ ‏‫‭
/
‮
الف
‬۹ ۸۲.
ج
۱۳۷۹

57. Introduction to metamathematics /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logica matematica

58. Introduzione alla logica :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

59. Introduzione alla logica formale /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logica matematica.,Logica formale.

60. Investigación aplicada en salud pub́lica :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Public health-- Research-- Methodology.,Qualitative research.,Public Health.,Qualitative Research.,Research Design.,HEALTH & FITNESS-- Diseases-- General.,HEALTH & FITNESS-- Health Care Issues.,MEDICAL-- Diseases.,MEDICAL-- Health Care Delivery.,MEDICAL-- Health Policy.,MEDICAL-- Public Health.,Public health-- Research-- Methodology.,Qualitative research.

رده :
RA440
.
85
.
U4318
2006eb