2361. Thinking about G?�del and Turing
پدیدآورنده : / Gregory J Chaitim
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
رده :
QA
,
9
.
65
,.
C43
,
2007
2362. Thinking about acting: logical foundations for rational decision making
پدیدآورنده : Pollock, John L
کتابخانه: (قم)
موضوع : ، Statistical decision,، Decidability )Mathematical logic(,، Probabilities,، Induction )Logic(
رده :
QA
279
.
4
.
P65
2006
2363. Thinking about acting :logical foundations for rational decision making
پدیدآورنده : Pollock, John L.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Statistical decision,، Decidability )Mathematical logic(,، Probabilities,، Induction )Logic(
رده :
QA279
.
4
.
P65
2006
2364. Thinking about acting : logical foundations for rational decision making
پدیدآورنده : Pollock, John L., 0491-
کتابخانه: (طهران)
موضوع : ، Statistical decision,، Decidability )Mathematical logic(,، Probabilities,، Induction )Logic(
رده :
QA
279
.
4
.
P65T4
2365. Thinking, feeling, and being: clinical reflections on the fund amental antinomy of human beings and world
پدیدآورنده : Matte-Blanco, Ignacio.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Subconsciousness,Freud, sigmund, 6581-9391,، Logic, Symbolic and mathematical,، Psychoanalysis
رده :
BF
315
.
M34
1988
2366. Thinking in problem
پدیدآورنده : / [electronic resource]
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics, Philosophy,Mathematical analysis,Reasoning,Logic,Electronic books
رده :
E-BOOK
2367. Thirty Five Years of Automating Mathematics.
پدیدآورنده : Dov M Gabbay
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
2368. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
2369. Three views of logic
پدیدآورنده : Donald W. Loveland, Richard E. Hodel, S.G. Sterrett
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic,Logic, Symbolic and mathematical
2370. Time and modality :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Epistemic logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Modale logica.,Modality (Logic),Tense (Logic)
رده :
BC135
.
P78
2371. Title in the Rossian
پدیدآورنده : Heyting
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Methodology
رده :
QA
9
.
H417
2372. Topics in decision problem
پدیدآورنده : / A monograph by M. S. Adib-Soltani,Adib Sultani
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Logic, Symbolic and mathematical
رده :
511
.
3
A
235
T
2373. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
2374. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
2375. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: (طهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
2376. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: (طهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
2377. Toposes and local set theories: an introduction
پدیدآورنده : / J.L.Bell
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Toposes,Set theory,Logic,symbolic and mathematical
رده :
512
.
55
B433t
2378. Toward "Principia mathematica", 1905-08 /
پدیدآورنده : Bertrand Russell ; edited by Gregory H. Moore.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
2379. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
2380. Towards an arithmetical logic :
پدیدآورنده : by Yvon Gauthier
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
