161. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008


162. Trends in Logic
پدیدآورنده: edited by Vincent F. Hendricks, Jacek Malinowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

163. Truth, vagueness, and paradox :
پدیدآورنده: Vann McGee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Liar paradox.,Reference (Philosophy),Truth.,Vagueness (Philosophy),Paradoxe du menteur.,Référence (Philosophie),Vérité,Liar paradox.,Logica.,Paradox van de leugenaar.,Reference (Philosophy),Truth.,Vagueness (Philosophy),Waarheid.
رده :
BD171
.
M37
1990


164. Types, Tableaus, and Gödel's God /
پدیدآورنده: by Melvin Fitting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic.,Metaphysics.,Ontology.,Philosophy (General),Philosophy.,Logic.,Metaphysics.,Ontology.,Philosophy.
رده :
BC1-199


165. Vol. 1: Dimostrazioni e modelli al primo ordine /
پدیدآورنده: Vito Michele Abrusci, Lorenzo Tortora de Falco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:

166. Words without objects :
پدیدآورنده: Henry Laycock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Object (Philosophy),Ontology.,Semantics (Philosophy),Semantics.,Substance (Philosophy),Logica.,Logik.,Materie.,Metaphysik.,Object (Philosophy),Ontologi.,Ontologie (filosofie),Ontologie.,Ontology.,Semantics (Philosophy),Semantics.,Semantiek.,Semantik.,Semantik.,Singularetantum.,Singularität Philosophie,Sprache.,Substance (Philosophy)
رده :
P325
.
L319
2006


167. ...المدخل لصناعةالمنطق
پدیدآورنده: ابن طملوس، یوسف بن محمد، پیرامون ۵۶۰ - ۶۲۰ ق
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع: نوشتهها تا سدهء ۱۴ ق منطق
رده :
BC66
.
A7A26


168. درآمدی نو به منطق : منطق های قیاسی ? استقرایی ? موجهات ? معرفتی ? بایایی و نظام های اصل موضوعی ...
پدیدآورنده: تیدمن ،پل
کتابخانه: کتابخانه فجر (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع: ،منطق،
رده :
160
،
ت
936
د
،
1383


169. ریاضیات و زندگی
پدیدآورنده: آگوستینی، فرانکو Agostini, Franco
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ریاضیات- سرگرمیها,منطق ریاضی
رده :
QA
۹۵
/
آ
۷۸


170. عجایب کاسل
پدیدآورنده: / انریکه بیلا-ماتاس,عنوان اصلی: Kassel no invita a la logica.,کتاب حاضر از متن انگلیسی با عنوان "The illogic of Kassel, 2015" به فارسی ترجمه شده است.,بیلا-ماتاس,Vila-Matas
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع: داستانهاي اسپانيايي, -- قرن ۲۰م
رده :
۸۶۳
/
۶۴
ب
۹۶۵
ع


171. کتاب المدخل لصناعه المنطق : الجزء الاول : کتاب المقولات و العبارۃ
پدیدآورنده: ابی الحجاج یوسف بن محمد بن طملوس
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع: فسلفه

172. کتاب تقویم الذهن
پدیدآورنده: ابی الملک امیۃ بن عبدالعزیز ابن عبدالملک الدانی
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع: فسلفه

173. مدخل لصناعه المنطق
پدیدآورنده: / تالیف ابی الحجاج یوسف بن محمد ابن طملوس
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
