81. Logic : a brief course

پدیدآورنده :

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

موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science

رده :
QA
9
.
M86L613

82. Logic and existence /

پدیدآورنده :

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

موضوع : Hegel, Georg Wilhelm Friedrich,1770-1831., Phänomenologie des Geistes.,Hegel, Georg Wilhelm Friedrich,1770-1831., Wissenschaft der Logik.,Phänomenologie des Geistes (Hegel, Georg Wilhelm Friedrich),Wissenschaft der Logik (Hegel, Georg Wilhelm Friedrich),Logic.,Phenomenology.,Logic.,Logica.,Phenomenology.

رده :
B2949
.
L8
H913
1997

83. Logic and the art of memory :

پدیدآورنده :

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

موضوع : Descartes, René,1596-1650-- Criticism and interpretation.,Llull, Ramon,1232?-1316-- Criticism and interpretation.,Descartes, René,1596-1650.,Leibniz, Gottfried Wilhelm.,Llull, Ramon,1232?-1316.,Lullus, Raimundus.,Language, Universal-- History.,Logic, Modern-- History.,Memory (Philosophy)-- History.,Memory-- History.,Langue universelle-- Histoire.,Logique symbolique et mathématique-- Histoire.,Mnémotechnique-- Histoire.,Geheugen.,Intellectual life.,Language, Universal.,Logic, Modern.,Logica.,Lullismus,Memory (Philosophy),Memory.,Mnemotechnik,Sprachlogik,Sprachphilosophie,Taalfilosofie.,Universalsprache,Europe, Intellectual life, 14th century.,Europe, Intellectual life, 16th century.,Europe, Intellectual life, 17th century.,Europe., 0, 0, 0, 7

رده :
BC38
.
R6713
2000

84. Logic, language-games and information:

پدیدآورنده :

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

موضوع : Kant, Immanuel,1724-1804.,Kant, Immanuel,1724-1804-- Logique.,Kant, Immanuel,1724-1804,Kant, Immanuel,1724-1804.,Kant, Immanuel.,First-order logic.,Inference.,Language and languages-- Philosophy.,Logic.,Inférence (Logique),Langage et langues-- Philosophie.,Logique du premier ordre.,Logique.,First-order logic.,Inference.,Language and languages-- Philosophy.,Logic.,Logica.,Logik.,Logik.,Taalfilosofie.

رده :
BC57
.
H55
1973

85. Logic, semantics, metamathematics :

پدیدآورنده :

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

موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.

رده :
BC135
.
T35
1983

86. Logica.

پدیدآورنده :

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

موضوع : Set theory.,Set theory.

رده :
QA248

87. Logica: Metodo Breve

پدیدآورنده :

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

موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.

88. Logica da zero a Gödel

پدیدآورنده :

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

موضوع : Logica.

89. Logica e analisi

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Logic

90. Logica e tempo :

پدیدآورنده :

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

موضوع : Logik.,Philosophie.,Zeit.

91. Logica matematica /

پدیدآورنده :

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

موضوع : Logica matematica

92. Logica matematica :

پدیدآورنده :

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

موضوع : Logica matematica

93. Logica modernorum in Prague about 1400

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

موضوع : Logic, Medieval. ; Language and logic ; Early works to 1800. ; Semantics (Philosophy) ; Early works to 1800. ;

94. Logica modernorum in Prague about 1400 : the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, FF. 1RA-79RB), with a partial reconstruction of Thomas of Cleve's Logica [ Electronic Book ]

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع : منطق قرون وسطا,Logic, Medieval,Language and logic - Early works to 1800,Semantics (Philosophy) - Early works to 1800

رده :
B765
‬ .
Z9L3
‬

95. Logica natural Vicente Guallart

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

موضوع : Peters, Ana, 1932 -- Exhibitions

رده :
N
،
7113
،.
P486
,
L6
،
2007
{
1648
},
fa9a50437fb24d1efa88946

96. Logica, teoria dell'indagine

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic,Thought and thinking

رده :
160
De-L

97. Logica universalis :

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

موضوع : Logic, Symbolic and mathematical. ;

98. Logica universalis

پدیدآورنده :

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

موضوع : Logic, Symbolic and mathematical,Model theory

رده :
QA9
.
2
.
L64
2005

99. Logical and philosophical papers, 1909-13 /

پدیدآورنده :

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

موضوع : Logic, Modern-- 20th century.,Philosophy, Modern-- 20th century.,Logique moderne-- 20e siècle.,Philosophie-- 20e siècle.,Logic, Modern.,Logica.,Logique-- 20e siècle.,Philosophie-- Grande-Bretagne-- 20e siècle.,Philosophy, Modern.

رده :
B1649
.
R91
1983
vol
.
6

100. Logics of communication and knowledge

پدیدآورنده :

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