2081. The Big Typescript, TS. 213 /
پدیدآورنده : Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
2082. The Calculi of symbolic logic, 1
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
2083. The Calculi of symbolic logic, 1
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
98
1968
2084. The Continuum companion to philosophical logic /
پدیدآورنده : edited by Richard Pettigrew and Leon Horsten
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
BC135
.
C57
2011
2085. <The> Elements of Advanced Mathematics
پدیدآورنده : \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
2086. <The> Essential Turing
پدیدآورنده : \ Edited by B. Jack Copeland
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
رده :
E-Book
,
2087. The Frege reader
پدیدآورنده : Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
2088. The Frege reader
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: (طهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
2089. The Higher Infinite :
پدیدآورنده : by Akihiro Kanamori.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Topology.
رده :
QA248
.
B935
1997
2090. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
2091. <The> Logic of Reliable Inquiry
پدیدآورنده : \ Kevin T. Kelly.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Research-- Methodology.,Research-- Evaluation.,Logic, Symbolic and mathematical.,Cognitive learning theory., تحقیق -- روش‌شناسی, تحقیق -- ارزشیابی,منطق ریاضی
رده :
Q
180
.
55
.
M4K45
1996
E-book
,
2092. The Logic of decision and action
پدیدآورنده : / Edited by Nicholas Rescher.Essays by Alan Ross Anderson [and others]With comments by R.Ackermann[and others. Pittsburgh]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical -- Addresses, essays, lectures,Decision- making--Addresses, essays, lectures.,Act.(Philosophy)-- Addresses,essays,lectures
رده :
BC
135
.
L58
2093. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده : A. Fuhrmann, M. Morreau )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
2094. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
2095. <The> Logical Foundations of Scientific Theories
پدیدآورنده : \ Décio Krause and Jonas R. B. Arenhart
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
2096. The Ordered Weighted Averaging Operators
پدیدآورنده : edited by Ronald R. Yager, Janusz Kacprzyk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
2097. <The> Oxford Handbook of Philosophy of Mathematics and Logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
2098. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
2099. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
2100. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
