1. A relational theory of computing
Author: Sanderson, John G.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Metamathematics
Classification :
QA
76
.
L4
v
.
82
2. Complete theories
Author: Robinson, Abraham PH. D.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Metamathematics,، Algebra, Abstract
Classification :
BC
135
.
R6
3. Elementary logic of science and mathematics
Author: Nidditch, P. H.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Metamathematics,، Science - Methodology
Classification :
QA
9
.
N5
4. Essays on the foundations of mathematics. Dedicated to A.A. Fraenkel on his seventieth anniversary
Author: Jerusalem. Hebrew University.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Fraenkel, Abraham Adolf, 1891- ,، Metamathematics-- Addresses, essays, lectures
Classification :
QA
9
.
J45
5. Foundations of mathematics : questions of analysis, geometry & algorithmics
Author: Engeler, Erwin
Library: Central Library and Documentation Center (Kerman)
Subject: ، Metamathematics
Classification :
QA
9
.
8
.
E54
1993
6. Foundations of mathematics : questions of analysis, geometry & algorithmics
Author: Engeler, Erwin.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Metamathematics
Classification :
QA
9
.
8
.
E5413
1993
7. Geodel, Escher, Bach
Author: / Douglas R. Hofstadter
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C., (Maurits Cornelis), 1898-1972,Geodel, Kurt
Classification :
QA9
.
8
.
H63
8. Godel, Escher, Bach
Author: / Douglas R. Hofstadter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
Classification :
QA9
.
8
.
H63
9. Godel, Escher, Bach
Author: / Douglas R. Hofstadter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
Classification :
QA9
.
8
.
H63
10. Godel, Escher, Bach
Author: / Douglas R. Hofstadter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
Classification :
QA9
.
8
.
H63
11. Godel, Escher, Bach
Author: / Douglas R. Hofstadter
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Symmetry,Artificial intelligence,Bach, Johann Sebastian, 1685-1750,Escher, M. C. (Maurits Cornelis), 1898-1972,Godel, Kurt
Classification :
E-BOOK
12. Godel, Escher, Bach: an eternal golden braid
Author: Hofstadter, Douglas R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Bach, Johann Sebastian,5861-0571,، Escher, M. C.)Maurits Cornelis(,8981-2791,، Godel, Kurt,، Metamathematics,، Symmetry,، Artificial intelligence
Classification :
QA
9
.
8
.
H63
1999
13. Godel, Escher, Bach : an eternal golden braid
Author: Hofstadter, Douglas R., 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Metamathematics,، Symmetry,، Artificial intelligence,، Bach, Johann Sebastian, 5861-0571,، Escher, Maurits Cornelis, 8981-2791,، Godel, Kurt Friedrich, 6091-8791
Classification :
QA
9
.
8
.
H63G6
1999
14. Godel's proof
Author: Nagel, Ernest
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Metamathematics
Classification :
QA
9
.
N3
1959
15. Introduction to mathematical philosophy
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Metamathematics - Philosophy
Classification :
510
R961
16. Introduction to mathematics
Author: Kleene, Stephen Cole
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Metamathematics
Classification :
QA
9
.
K65
17. Introduction to metamathematics
Author: Kleene, Stephen Cole
Library: Central Library and Documentation Center (Kerman)
Subject: ، Metamathematics
Classification :
QA
9
.
8
.
K6
18. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole
موضوع : ، Metamathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Introduction to metamathematics
Author: Kleene, Stephen Cole, 9091-4991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Metamathematics,، Logic, Symbolic and mathematical
Classification :
QA
9
.
8
.
K54
1971
20. Introduction to metamthematics
Author:
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Metamathematics
Classification :
QA9
.
K55
