121. <A> Concise Introduction to Logic
پدیدآورنده : / Patrick J. Hurley
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC108
.
H83
2006
122. <A> Concise Introduction to Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق,Hurley, Patrick J.,1942-,Demarco, Joseph P.
رده :
CD-B
,
BC
,
108
,.
H83
,
2006
123. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
124. <A> Dictionary Of Philosophical Logic
پدیدآورنده : / Roy T. Cook
کتابخانه: (طهران)
موضوع : منطق -- واژه‌نامه‌ها
رده :
BC
9
.
C66
125. A Dictionary of Philosophical Logic
پدیدآورنده : \ Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Dictionaries,Logic,منطق -- واژه‌نامه‌ها,منطق
رده :
E-Book
,
126. <A> First Course in Logic
پدیدآورنده : \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
127. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
128. <A> First Course in Modern Logic
پدیدآورنده : \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
129. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
130. <A> Logical Approach to Philosophy
پدیدآورنده : \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
131. <A> Manual of Intensional Logic
پدیدآورنده : \ Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
E-Book
,
132. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
133. A Treatise on induction and probablity
پدیدآورنده : / George Henrik von wright
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق,اح‍ت‍م‍الات
رده :
BibBC
۹۱
/
ر
۲ ۱۳۳۰
134. A commentary to Hegel’s Science of logic
پدیدآورنده : / David Gray Carlson.,کارلسون,Carlson
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : هگل، گئورگ ویلهلم فریدریش، ۱۷۷۰ - ۱۸۳۱م, . علم منطق,منطق
رده :
B
۲۹۴۲
/
ی
۷
ک
۲ ۱۳۸۶
135. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
136. A friendly introduotion to mathematical Logic
پدیدآورنده : / Christopher C. Leary
موضوع : منطق ک‍ام‍پ‍ی‍وت‍ری,منطق ریاضی
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
137. A modern elementary logic
پدیدآورنده : / by L. Susan Stebbing .
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۷۱
/
الف
۵
م
۴ ۱۳۲۲
138. A modern introduction to logic
پدیدآورنده : / by L. S. Stebbing .
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۷۱
/
الف
۵
م
۲ ۱۳۲۱
139. A preface to logic
پدیدآورنده : /Morris R Cohen.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق
رده :
BC
۷۱
/
ک
۹
پ
۴ ۱۳۲۵
140. Abu Hamid Muhammad al - Ghazali: texts and studies III: Tahafut al - Falasifa and al - Qistat al - Mustaqim
پدیدآورنده : / collected and reprinted by Fuat Sezgin, in collaboration with Mazen Amawi, Carl Ehrig - Eggert, Eckhard Neubauer.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : غزالی، محمدبن‌محمد، ۴۵۰ - ۵۰۵ق. -- مقاصدالفلاسفه -- نقد و تفسیر.,غزالی، محمدبن‌محمد، ۴۵۰ - ۵۰۵ق. -- القسطاس‌المستقیم -- نقد و تفسیر.,ما بعدالطبیعه -- متون قدیمی تا قرن ۱۴.,فلسفه اسلامی -- مجموعه‌ها.,منطق -- متون قدیمی تا قرن ۱۴.,مشائیان.
رده :
BBR
۹
/
الف
۹ ۵۳.
ج
۱۳۷۸
