21. Automated Deduction – CADE-25
پدیدآورنده : \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
22. Avicenna's deliverance : logic,النجاة
پدیدآورنده : / Avicenna,اب‍ن‌‌س‍ی‍ن‍ا,Avicenna
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق اسلامی,فلسفه اسلامی, -- متون قدیمی تا قرن ۱۴, -- متون قدیمی تا قرن ۱۴
رده :
BBR
۵۵۴
/
الف
۲
الف
۷۰۴۱ ۱۳۹۰
23. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
24. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
پدیدآورنده : \ Richard L. Epstein, Walter A. Carnielli
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
25. Developments in language theory
پدیدآورنده : \ Igor Potapov (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal languages -- Congresses.,Computation by Abstract Devices.,Mathematical Logic and Formal Languages,زبان‌های صوری -- کنگره ها ,منطق ریاضی و زبان های صوری
رده :
QA
267
.
3
.
D48
2015
E-Book
,
26. Discovering Patterns in Mathematics and Poetry
پدیدآورنده : \ Marcia Birken and Anne C. Coon
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
27. Elementary logic
پدیدآورنده : / Benson Mates
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : منطق ریاضی,Logic , Symbolic and mathematical
رده :
BC135
.
M37
28. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
29. Equality,Resemblancc,and Order
پدیدآورنده : /Ju. A. Schreider
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
QA
۹
/
ش
۴
الف
۷ ۱۳۵۴
30. Essays on Frege
پدیدآورنده : / edited by E. D. Klemke.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ف‍رگ,Frege,، گ‍ات‍لاب,, Gottlob,، ۱۸۴۸ - ۱۹۲۵م.,منطق ریاضی
رده :
QA
۲۹
/
ف
۴
ک
۸ ۱۳۴۷
31. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
32. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
33. Frege's Theorem
پدیدآورنده : \ Richard G. Heck, Jr
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
34. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
35. Frontiers of Combining Systems
پدیدآورنده : \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
36. Fundamentals of Critical Argumentation
پدیدآورنده : / Douglas N. Walton
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Reasoning,Argumentation,PHILOSOPHY -- Logic,استدلال,حجت (منطق),منطق ریاضی - فلسفه
رده :
BF463
.
W32
2006
37. Fundamentals of symbolic logic
پدیدآورنده : / Alice Ambrose and Morris Lazerowitz.,ام‍ب‍روز,Ambrose
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۸
ف
۲ ۱۳۴۱
38. Fuzzy Logic and Mathematics
پدیدآورنده : \ Radim Bělohlávek, Joseph W. Dauben, and George J. Klir
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Fuzzy logic,Logic, symbolic and mathematical,منطق فازی,منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
39. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
40. Handbook of Spatial Logics
پدیدآورنده : \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
