1. A relational theory of computing
پدیدآورنده : Sanderson, John G.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Metamathematics
رده :
QA
76
.
L4
v
.
82
2. An introduction to Ramsey theory :
پدیدآورنده : Matthew Katz, Jan Reimann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
3. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
4. Complete theories
پدیدآورنده : Robinson, Abraham PH. D.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics,، Algebra, Abstract
رده :
BC
135
.
R6
5. Diamond :
پدیدآورنده : N.S. Hellerstein.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
رده :
QA9
.
H396
2010eb
6. Elementary logic of science and mathematics
پدیدآورنده : Nidditch, P. H.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics,، Science - Methodology
رده :
QA
9
.
N5
7. Essays on the foundations of mathematics. Dedicated to A.A. Fraenkel on his seventieth anniversary
پدیدآورنده : Jerusalem. Hebrew University.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Fraenkel, Abraham Adolf, 1891- ,، Metamathematics-- Addresses, essays, lectures
رده :
QA
9
.
J45
8. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E54
1993
9. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E5413
1993
10. Foundations of set theory
پدیدآورنده : Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levey. With the collaboration of Dirk van Dalen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Philosophy.,Set theory.,Mathematics-- Philosophy.,Set theory.
رده :
QA248
.
F753
1973
11. Geodel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C., (Maurits Cornelis), 1898-1972,Geodel, Kurt
رده :
QA9
.
8
.
H63
12. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
QA9
.
8
.
H63
13. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
QA9
.
8
.
H63
14. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
QA9
.
8
.
H63
15. Godel, Escher, Bach
پدیدآورنده : / Douglas R. Hofstadter
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
رده :
E-BOOK
16. Godel, Escher, Bach: an eternal golden braid
پدیدآورنده : Hofstadter, Douglas R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Bach, Johann Sebastian,5861-0571,، Escher, M. C.)Maurits Cornelis(,8981-2791,، Godel, Kurt,، Metamathematics,، Symmetry,، Artificial intelligence
رده :
QA
9
.
8
.
H63
1999
17. Godel, Escher, Bach : an eternal golden braid
پدیدآورنده : Hofstadter, Douglas R., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Metamathematics,، Symmetry,، Artificial intelligence,، Bach, Johann Sebastian, 5861-0571,، Escher, Maurits Cornelis, 8981-2791,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
8
.
H63G6
1999
18. Godel's proof
پدیدآورنده : Nagel, Ernest
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
N3
1959
19. Introduction to mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Metamathematics - Philosophy
رده :
510
R961
20. Introduction to mathematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
K65
