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. Complete theories
پدیدآورنده : Robinson, Abraham PH. D.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics,، Algebra, Abstract
رده :
BC
135
.
R6
3. Elementary logic of science and mathematics
پدیدآورنده : Nidditch, P. H.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics,، Science - Methodology
رده :
QA
9
.
N5
4. 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
5. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E54
1993
6. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E5413
1993
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. Godel's proof
پدیدآورنده : Nagel, Ernest
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
N3
1959
15. Introduction to mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Metamathematics - Philosophy
رده :
510
R961
16. Introduction to mathematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics
رده :
QA
9
.
K65
17. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
K6
18. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole
موضوع : ، Metamathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
20. Introduction to metamthematics
پدیدآورنده :
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Metamathematics
رده :
QA9
.
K55
