1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
3. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
4. Axiomatic theory of sets and classes
پدیدآورنده : Eisenberg, Murray
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
E37
5. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
7. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
8. Fuzzy Decision Procedures with Binary Relations :
پدیدآورنده : by Leonid Kitainik.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.
رده :
QA279
.
4
B954
1993
9. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
10. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
11. Introduction to mathematical logic /
پدیدآورنده : Elliott Mendelson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M4
2010
12. Langages, ensembles, theories axiomatiques
پدیدآورنده : Hervieux, Maurice
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
13. Mathematics of Fuzzy Sets
پدیدآورنده : edited by Ulrich Höhle, Stephen Ernest Rodabaugh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
14. Naive Set Theory
پدیدآورنده : by Paul R. Halmos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
15. Set theory and its logic
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
16. Set theory and its logic
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q56S4
17. Sets, logic, and axiomatic theorie
پدیدآورنده : Stoll, Robert Roth., ]by[ Robert R. Stoll
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S78
18. Sets, logic, and axiomatic theories
پدیدآورنده : / By Robert R. Stoll
کتابخانه: (طهران)
موضوع : نظریه مجموعه‌ها,Set theory,Logic - Symbolic and mathematical
رده :
QA248
.
S7
19. Sets, logic, and axiomatic theories
پدیدآورنده : Stoll, Robert Roth, 5191-
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
S76S4
1974
20. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
